Merge pull request #7865 from telamonian/fix-dedent-in-texteditor

ensures that 'shift tab' => dedent shortcut works correctly in the file editor
jupyterlab · Feb 10, 2020 · 7a97756 · 7a97756
2 parents beec0ae + c34a1bf
commit 7a97756
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": {},