##// 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 / frontend
html
qt
terminal
__init__.py Loading ...
consoleapp.py Loading ...