##// 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.
Min RK -
r20118:a58bc8bc
Show More
Name Size Modified Last Commit Author
/ IPython / kernel / zmq / gui
__init__.py Loading ...
gtk3embed.py Loading ...
gtkembed.py Loading ...