##// END OF EJS Templates
Fix 1px margin bouncing of selected menu item.
Fix 1px margin bouncing of selected menu item.
mcelrath -
r7320:51f441bf
Show More
Name Size Modified Last Commit Author
/ IPython / frontend
html
qt
terminal
__init__.py Loading ...
consoleapp.py Loading ...