mirror of
https://github.com/godotengine/godot.git
synced 2025-10-25 18:54:43 +00:00
Added support for space indentation
This commit is contained in:
parent
95a2a7e525
commit
84bca4e72f
9 changed files with 168 additions and 40 deletions
|
|
@ -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);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue