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