##// END OF EJS Templates
Merge pull request #6238 from ivanov/cm-heading-fonts...
Merge pull request #6238 from ivanov/cm-heading-fonts proportional font-size when editing heading cells

File last commit:

r10284:2a5c0f89
r17547:de3c13ca merge
Show More
__init__.py
2 lines | 86 B | text/x-python | PythonLexer
MinRK
update imports with new layout
r10284 from .manager import IOLoopKernelManager
from .restarter import IOLoopKernelRestarter