~azzar1/unity/add-show-desktop-key

  • Committer: David Coles
  • Date: 2010-07-29 10:51:30 UTC
  • Revision ID: coles.david@gmail.com-20100729105130-el3ut0zwisvgvthu
Fix issue with CodeMirror being wider than the screen and scrolling.

Seems like width: 100% + padding/margin causes the actual width to be more 
than 100%. Though if the CodeMirror element just auto-calculate the width it's 
fine. Also fixed similar issue with the <textbox>.
Filename Latest Rev Last Changed Committer Comment Size
..
__init__.py 1099.1.220 16 years ago Nick Chadwick Merged from trunk Empty Diff Download File
definitions.txt 1295 15 years ago William Grant Update definitions.txt to 2.0b4 (NLTK SVN r8246). 7.8 KB Diff Download File
File rst.py 1465 15 years ago William Grant The rST renderer will now insert a newline after e 64.9 KB Diff Download File
utils.py 1773 15 years ago David Coles console: Make sure HOME is set correctly (not alwa 15.7 KB Diff Download File