##// 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:

r3673:b9f54806
r12575:7e0005c0
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer