##// END OF EJS Templates
remove inappropriate negative margin on menubar...
remove inappropriate negative margin on menubar caused 1px mismatch between header background and menubar when toolbar is hidden.

File last commit:

r13195:ee7d313e
r20109:fd224203
Show More
__init__.py
2 lines | 43 B | text/x-python | PythonLexer
MinRK
add Kernel-side widgets
r13188 from .manager import *
MinRK
rename widget to comm
r13195 from .comm import *