IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Allow use of Shift+Tab to un-indent selected text. Fixes #1988

Browse Source
This commit is contained in:
Murtuza Zabuawala
2017-07-05 14:20:19 +01:00
committed by Dave Page
parent 2bb01e2d1a
commit 9de6c08d28
2 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
web/pgadmin/browser/templates/browser/js/browser.js
View File

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