diff options
author | gsegovia2018 <46790538+gsegovia2018@users.noreply.github.com> | 2019-04-11 18:29:07 +0200 |
---|---|---|
committer | gsegovia2018 <46790538+gsegovia2018@users.noreply.github.com> | 2019-04-30 10:38:10 +0200 |
commit | bab8c760e88ae848f5be633d0be87966703e6f61 (patch) | |
tree | d9db8da07afa27575987919dbfcbf045fb1e2ce7 | |
parent | 7018de8425e8c2781071595fdcf565acdfde2be4 (diff) |
Set 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 bf582ca004..b725bb1d96 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(); |