##// END OF EJS Templates
enable keyboard manager when codemirror is focused...
enable keyboard manager when codemirror is focused This should always be true, and mitigate focus-related keyboard bugs, such as #7555.

File last commit:

r15140:df762d53
r20118:a58bc8bc
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer