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 block indent/outdent with configurable width. Fixes #3002

Browse Source
This commit is contained in:
Murtuza Zabuawala 2018-02-27 15:20:30 +00:00 committed by Dave Page
parent a9de043fef
commit f5afd5fdb4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/pgadmin/browser/static/js/browser.js
View File

@ -1945,7 +1945,7 @@ define('pgadmin.browser', [
'Shift-Tab': 'indentLess',
},
editor_options: {
tabSize: pgBrowser.utils.tabSize,
tabSize: parseInt(pgBrowser.utils.tabSize),
wrapCode: pgBrowser.utils.wrapCode,
insert_pair_brackets: pgBrowser.utils.insertPairBrackets,
brace_matching: pgBrowser.utils.braceMatching,