diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-02-08 19:34:43 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-02-08 19:34:43 +0100 |
| commit | 07e87f6ec09dd600fc53c03801b63c828b2561f8 (patch) | |
| tree | 97f3356af13281321d28421e9a9b6180b825b4cf | |
| parent | 5e837b3f13ab1e3b31bb8d705e87820fa4eff21e (diff) | |
Add a setting hint for the Output panel font size
This closes #21237.
| -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); |