##// END OF EJS Templates
Better way of saving through CodeMirror...
Better way of saving through CodeMirror This should support whatever keyboard shortcuts are configured for the 'save' command.

File last commit:

r4460:540b3f19
r19020:0e93c51c
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer