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 }}',