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

r4053:b45902e3
r12575:7e0005c0
Show More
__init__.py
4 lines | 82 B | text/x-python | PythonLexer
try:
from decorator import *
except ImportError:
from _decorator import *