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

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