##// END OF EJS Templates
* Added option (disabled by default) to ConsoleWidget for overriding global/window-level shortcuts....
* Added option (disabled by default) to ConsoleWidget for overriding global/window-level shortcuts. * Documented ConsoleWidget's public member variables.

File last commit:

r2009:2a0ba18d
r2668:d1f0a4c3
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer