From 60e16e4a0d39ccc04d390a8071d7fcdef1e3b84a Mon Sep 17 00:00:00 2001 From: Guillermo Date: Tue, 30 Apr 2019 17:51:27 +0200 Subject: Set range and change EDITOR_DEF to EDITOR_GET Fix indentation Fix Indentation! Remove 14 --- editor/editor_fonts.cpp | 2 +- editor/editor_settings.cpp | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) 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 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 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 */ -- cgit v1.2.3