ensures that 'shift tab' => dedent shortcut works in text editor

jupyterlab · Feb 9, 2020 · c34a1bf · c34a1bf
1 parent f17361c
commit c34a1bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/tooltip-extension/schema/files.json b/packages/tooltip-extension/schema/files.json
@@ -5,7 +5,7 @@
     {
       "command": "tooltip:launch-file",
       "keys": ["Shift Tab"],
-      "selector": ".jp-FileEditor"
+      "selector": ".jp-FileEditor .jp-CodeMirrorEditor:not(.jp-mod-has-primary-selection):not(.jp-mod-in-leading-whitespace)"
     }
   ],
   "properties": {},