diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-02-09 17:46:39 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-09 17:46:39 +0100 |
commit | 7d5c6f4c7a7021b5f5dfa1e2b8deb612c4d7e6ec (patch) | |
tree | b107ad49ec8f7fd78359c30480d4d96156fa78e7 /editor | |
parent | 8908bdc7f2fd002d71e836ef4f9c16fdfdc69e99 (diff) | |
parent | 07e87f6ec09dd600fc53c03801b63c828b2561f8 (diff) |
Merge pull request #25710 from Calinou/add-hint-output-font-size
Add a setting hint for the Output panel font size
Diffstat (limited to 'editor')
-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 9973c7354e..cbd8df315a 100644 --- a/editor/editor_settings.cpp +++ b/editor/editor_settings.cpp @@ -575,6 +575,7 @@ void EditorSettings::_load_defaults(Ref<ConfigFile> p_extra_config) { _initial_set("run/auto_save/save_before_running", true); // Output + hints["run/output/font_size"] = PropertyInfo(Variant::INT, "run/output/font_size", PROPERTY_HINT_RANGE, "8,96,1", PROPERTY_USAGE_DEFAULT); _initial_set("run/output/always_clear_output_on_play", true); _initial_set("run/output/always_open_output_on_play", true); _initial_set("run/output/always_close_output_on_stop", false); |