diff options
| author | Rémi Verschelde | 2017-04-18 14:16:58 +0200 |
|---|---|---|
| committer | GitHub | 2017-04-18 14:16:58 +0200 |
| commit | 5237bc952db59f452e760ac07e68fbb231003d49 (patch) | |
| tree | d2e94c525c6dadb695a40868ebaf5fd2157f01ce /editor/editor_settings.cpp | |
| parent | 7088d9e30f7afd8ca9cf262fc340266d4218808c (diff) | |
| parent | c59bd79e02548533c61e1ce30e3009f7804658f7 (diff) | |
| download | godot-5237bc952db59f452e760ac07e68fbb231003d49.tar.gz godot-5237bc952db59f452e760ac07e68fbb231003d49.tar.zst godot-5237bc952db59f452e760ac07e68fbb231003d49.zip | |
Merge pull request #8424 from Paulb23/convert_indent
Support for space indentation
Diffstat (limited to '')
| -rw-r--r-- | editor/editor_settings.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/editor/editor_settings.cpp b/editor/editor_settings.cpp index f1daf0543..35373eb81 100644 --- a/editor/editor_settings.cpp +++ b/editor/editor_settings.cpp @@ -529,8 +529,11 @@ void EditorSettings::_load_defaults(Ref<ConfigFile> p_extra_config) { set("text_editor/highlighting/highlight_all_occurrences", true); set("text_editor/cursor/scroll_past_end_of_file", false); - set("text_editor/indent/tab_size", 4); - hints["text_editor/indent/tab_size"] = PropertyInfo(Variant::INT, "text_editor/indent/tab_size", PROPERTY_HINT_RANGE, "1, 64, 1"); // size of 0 crashes. + set("text_editor/indent/type", 0); + hints["text_editor/indent/type"] = PropertyInfo(Variant::STRING, "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); set("text_editor/indent/draw_tabs", true); set("text_editor/line_numbers/show_line_numbers", true); |