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

Fix more of the funky keyboard shortcuts.

Browse Source
This commit is contained in:
Surinder Kumar
2016-08-08 15:26:37 +01:00
committed by Dave Page
parent 37ca3579f3
commit 1bcac0b67c
5 changed files with 45 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
web/pgadmin/tools/sqleditor/templates/sqleditor/js/sqleditor.js
View File

@@ -206,7 +206,8 @@ define(
rangeFinder: CodeMirror.fold.combine(CodeMirror.pgadminBeginRangeFinder, CodeMirror.pgadminIfRangeFinder,
CodeMirror.pgadminLoopRangeFinder, CodeMirror.pgadminCaseRangeFinder)
},
gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"]
gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"],
extraKeys: pgBrowser.editor_shortcut_keys
});
// Create main wcDocker instance
@@ -248,7 +249,7 @@ define(
CodeMirror.pgadminLoopRangeFinder, CodeMirror.pgadminCaseRangeFinder)
},
gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"],
extraKeys: {"Ctrl-Space": "autocomplete"}
extraKeys: pgBrowser.editor_shortcut_keys
});
// Create panels for 'Data Output', 'Explain', 'Messages' and 'History'