diff options
| author | Guillermo <gsegovia2018@my.fit.edu> | 2019-04-30 17:51:27 +0200 |
|---|---|---|
| committer | Guillermo <gsegovia2018@my.fit.edu> | 2019-04-30 20:14:39 +0200 |
| commit | 60e16e4a0d39ccc04d390a8071d7fcdef1e3b84a (patch) | |
| tree | 6875e50e3cbb6729e6e93aeecdbdf70f9dee35e7 | |
| parent | c298b5267a48acaff02f7828044d8270d0e101fb (diff) | |
Set range and change EDITOR_DEF to EDITOR_GET
Fix indentation
Fix Indentation!
Remove 14
| -rw-r--r-- | editor/editor_fonts.cpp | 2 | ||||
| -rw-r--r-- | editor/editor_settings.cpp | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/editor/editor_fonts.cpp b/editor/editor_fonts.cpp index fa4172cded..4f79d3577e 100644 --- a/editor/editor_fonts.cpp +++ b/editor/editor_fonts.cpp @@ -228,7 +228,7 @@ void editor_register_fonts(Ref<Theme> p_theme) { p_theme->set_font("doc", "EditorFonts", df_doc); p_theme->set_font("doc_title", "EditorFonts", df_doc_title); - MAKE_SOURCE_FONT(df_doc_code, int(EDITOR_DEF("text_editor/help/help_source_font_size", 14)) * EDSCALE); + MAKE_SOURCE_FONT(df_doc_code, int(EDITOR_GET("text_editor/help/help_source_font_size")) * EDSCALE); p_theme->set_font("doc_source", "EditorFonts", df_doc_code); // Ruler font diff --git a/editor/editor_settings.cpp b/editor/editor_settings.cpp index 9973c7354e..af20166491 100644 --- a/editor/editor_settings.cpp +++ b/editor/editor_settings.cpp @@ -467,6 +467,8 @@ void EditorSettings::_load_defaults(Ref<ConfigFile> p_extra_config) { // Help _initial_set("text_editor/help/show_help_index", true); + _initial_set("text_editor/help_source_font_size", 14); + hints["text_editor/help/help_source_font_size"] = PropertyInfo(Variant::REAL, "text_editor/help/help_source_font_size", PROPERTY_HINT_RANGE, "10, 50, 1"); /* Editors */ |