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

Ensure auto-indent honours the spaces/tabs config setting. Fixes #2780

Browse Source
This commit is contained in:
Murtuza Zabuawala
2017-10-16 15:37:03 +01:00
committed by Dave Page
parent ce5f5015b3
commit 0cb57848f8
8 changed files with 55 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
web/pgadmin/tools/debugger/static/js/direct.js
View File

@@ -1636,6 +1636,8 @@ define([
mode: "text/x-pgsql",
readOnly: true,
extraKeys: pgAdmin.Browser.editor_shortcut_keys,
indentWithTabs: pgAdmin.Browser.editor_options.indent_with_tabs,
indentUnit: pgAdmin.Browser.editor_options.tabSize,
tabSize: pgAdmin.Browser.editor_options.tabSize,
lineWrapping: pgAdmin.Browser.editor_options.wrapCode,
autoCloseBrackets: pgAdmin.Browser.editor_options.insert_pair_brackets,