##// END OF EJS Templates
Merge codemirror config with user config....
Merge codemirror config with user config. Simplify customisation of codemirror without duplicating the all codecell configuration. Closes #8038

File last commit:

r11033:fa36e98f
r20702:f029025f
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer