##// END OF EJS Templates
workaround spurious CodeMirror scrollbars...
workaround spurious CodeMirror scrollbars always draw scrollbar margin, so that inappropriate scrollbars never overlap the last line. To compensate for the extra space, the margin between the scrollbar and the last line is shrunk significantly.
MinRK -
r10750:d06d26cd
Show More
Name Size Modified Last Commit Author
/ IPython / config
profile
tests
__init__.py Loading ...
application.py Loading ...
configurable.py Loading ...
loader.py Loading ...