Hi,

PFA minor patch which will add functionality to allow user to delete Tab(s)
using Shift-Tab keys.
RM#1988

--
Regards,
Murtuza Zabuawala
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
diff --git a/web/pgadmin/browser/templates/browser/js/browser.js 
b/web/pgadmin/browser/templates/browser/js/browser.js
index 8a3a3b9..9ca3a16 100644
--- a/web/pgadmin/browser/templates/browser/js/browser.js
+++ b/web/pgadmin/browser/templates/browser/js/browser.js
@@ -1833,7 +1833,10 @@ define(
       "Ctrl-Alt-Left": "goGroupLeft",
       "Cmd-Alt-Left": "goGroupLeft",
       "Ctrl-Alt-Right": "goGroupRight",
-      "Cmd-Alt-Right": "goGroupRight"
+      "Cmd-Alt-Right": "goGroupRight",
+
+      // Allow user to delete Tab(s)
+      "Shift-Tab": "indentLess"
     },
     editor_options: {
       tabSize: '{{ editor_tab_size }}',

Reply via email to