##// END OF EJS Templates
HighlightMagics: merge default languages with the user config languages...
HighlightMagics: merge default languages with the user config languages * When configuring HighlightMagics, instead of replacing fully the language dict by the user provided one, we merge both.

File last commit:

r10284:2a5c0f89
r12575:7e0005c0
Show More
__init__.py
2 lines | 86 B | text/x-python | PythonLexer
from .manager import IOLoopKernelManager
from .restarter import IOLoopKernelRestarter