diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-28 11:53:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-28 11:53:52 +0200 |
| commit | 58f66fa848ad0c810d688bec1b0b9081870adbde (patch) | |
| tree | 71ae0a9163a8944cd6c01d5b7d48610f3e0ff5ca /editor | |
| parent | 47f00925dcf328651bd9e545bab51bf26fb39cf4 (diff) | |
| parent | 60e16e4a0d39ccc04d390a8071d7fcdef1e3b84a (diff) | |
Merge pull request #28107 from Amssat221/issue28105
Set range (10-50) to help source font size
Diffstat (limited to 'editor')
| -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 5b16b8f6d5..cddabbc4e4 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 79dcbca7a2..c0dc231ea9 100644 --- a/editor/editor_settings.cpp +++ b/editor/editor_settings.cpp @@ -487,6 +487,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 */ |