mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2024-12-28 01:41:13 -06:00
Fixed and issue where 'Use spaces' not working in the query tool. Fixes #7443
This commit is contained in:
parent
f615ef30f9
commit
ea3203f466
@ -20,4 +20,5 @@ Bug fixes
|
||||
*********
|
||||
|
||||
| `Issue #7411 <https://redmine.postgresql.org/issues/7411>`_ - Fixed an issue where the Database restriction is not working.
|
||||
| `Issue #7443 <https://redmine.postgresql.org/issues/7443>`_ - Fixed and issue where 'Use spaces' not working in the query tool.
|
||||
| `Issue #7468 <https://redmine.postgresql.org/issues/7468>`_ - Skip the history records if the JSON info can't be parsed instead of showing 'No history'.
|
||||
|
@ -463,7 +463,7 @@ export default function CodeMirror({currEditor, name, value, options, events, re
|
||||
editor?.current.setOption('foldGutter', pref.code_folding);
|
||||
}
|
||||
|
||||
editor?.current.setOption('indentWithTabs', pref.indent_with_tabs);
|
||||
editor?.current.setOption('indentWithTabs', !pref.use_spaces);
|
||||
editor?.current.setOption('indentUnit', pref.tab_size);
|
||||
editor?.current.setOption('tabSize', pref.tab_size);
|
||||
editor?.current.setOption('lineWrapping', pref.wrap_code);
|
||||
|
Loading…
Reference in New Issue
Block a user