diff options
| author | Paulb23 | 2017-04-17 14:24:30 +0100 |
|---|---|---|
| committer | Paulb23 | 2017-04-18 12:30:46 +0100 |
| commit | 84bca4e72f191450a794de795de7142da87495c6 (patch) | |
| tree | ccc3682f85292cdeef8187bd2bb434acedfd1f90 /editor/plugins/script_editor_plugin.cpp | |
| parent | 95a2a7e525a1a981b54292d64639545df61deebe (diff) | |
| download | godot-84bca4e72f191450a794de795de7142da87495c6.tar.gz godot-84bca4e72f191450a794de795de7142da87495c6.tar.zst godot-84bca4e72f191450a794de795de7142da87495c6.zip | |
Added support for space indentation
Diffstat (limited to 'editor/plugins/script_editor_plugin.cpp')
| -rw-r--r-- | editor/plugins/script_editor_plugin.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp index 8ce0f5121..bc6f2134a 100644 --- a/editor/plugins/script_editor_plugin.cpp +++ b/editor/plugins/script_editor_plugin.cpp @@ -1582,6 +1582,9 @@ void ScriptEditor::_save_layout() { void ScriptEditor::_editor_settings_changed() { trim_trailing_whitespace_on_save = EditorSettings::get_singleton()->get("text_editor/files/trim_trailing_whitespace_on_save"); + convert_indent_on_save = EditorSettings::get_singleton()->get("text_editor/indent/convert_indent_on_save"); + use_space_indentation = EditorSettings::get_singleton()->get("text_editor/indent/type") == "Tabs" ? 0 : 1; + float autosave_time = EditorSettings::get_singleton()->get("text_editor/files/autosave_interval_secs"); if (autosave_time > 0) { autosave_timer->set_wait_time(autosave_time); |