You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-27 15:57:02 +00:00
Changed indent type settings
This commit is contained in:
@@ -530,7 +530,7 @@ void EditorSettings::_load_defaults(Ref<ConfigFile> p_extra_config) {
|
||||
set("text_editor/cursor/scroll_past_end_of_file", false);
|
||||
|
||||
set("text_editor/indent/type", 0);
|
||||
hints["text_editor/indent/type"] = PropertyInfo(Variant::STRING, "text_editor/indent/type", PROPERTY_HINT_ENUM, "Tabs,Spaces");
|
||||
hints["text_editor/indent/type"] = PropertyInfo(Variant::INT, "text_editor/indent/type", PROPERTY_HINT_ENUM, "Tabs,Spaces");
|
||||
set("text_editor/indent/size", 4);
|
||||
hints["text_editor/indent/size"] = PropertyInfo(Variant::INT, "text_editor/indent/size", PROPERTY_HINT_RANGE, "1, 64, 1"); // size of 0 crashes.
|
||||
set("text_editor/indent/convert_indent_on_save", false);
|
||||
|
||||
Reference in New Issue
Block a user