diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-04-30 18:31:20 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-30 18:31:20 +0200 |
commit | c1cc438ce6be5dbbe21588d28c765c6ab2996a19 (patch) | |
tree | 0931cc47f3c6f0e1618fd8f8cc6399ef1949805f | |
parent | a7f00f3bacbb41f35b7120db6a911eda7c6feac9 (diff) | |
parent | bab8c760e88ae848f5be633d0be87966703e6f61 (diff) |
Merge pull request #27913 from Amssat221/issue27912
Set a range for line spacing
-rw-r--r-- | editor/editor_settings.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/editor_settings.cpp b/editor/editor_settings.cpp index d2ff65246d..e80d3e1b37 100644 --- a/editor/editor_settings.cpp +++ b/editor/editor_settings.cpp @@ -407,6 +407,7 @@ void EditorSettings::_load_defaults(Ref<ConfigFile> p_extra_config) { _initial_set("text_editor/theme/color_theme", "Adaptive"); hints["text_editor/theme/color_theme"] = PropertyInfo(Variant::STRING, "text_editor/theme/color_theme", PROPERTY_HINT_ENUM, "Adaptive,Default,Custom"); _initial_set("text_editor/theme/line_spacing", 6); + hints["text_editor/theme/line_spacing"] = PropertyInfo(Variant::INT, "text_editor/theme/line_spacing", PROPERTY_HINT_RANGE, "0,50,1"); _load_default_text_editor_theme(); |