From c34a1bf4ad1da718c8684f5bf4f7ed083cb773e0 Mon Sep 17 00:00:00 2001
From: telamonian <mklein@jhu.edu>
Date: Sun, 9 Feb 2020 00:45:19 -0500
Subject: [PATCH] ensures that 'shift tab' => dedent shortcut works in text
 editor

---
 packages/tooltip-extension/schema/files.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/tooltip-extension/schema/files.json b/packages/tooltip-extension/schema/files.json
index a548a1e3fffc..d0d844949720 100644
--- 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": {},