You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-08 12:40:44 +00:00
Add Output font size in Theme regeneration conditions
This commit is contained in:
@@ -696,7 +696,8 @@ void EditorNode::_notification(int p_what) {
|
|||||||
EditorSettings::get_singleton()->check_changed_settings_in_group("interface/editor/code_font") ||
|
EditorSettings::get_singleton()->check_changed_settings_in_group("interface/editor/code_font") ||
|
||||||
EditorSettings::get_singleton()->check_changed_settings_in_group("text_editor/theme") ||
|
EditorSettings::get_singleton()->check_changed_settings_in_group("text_editor/theme") ||
|
||||||
EditorSettings::get_singleton()->check_changed_settings_in_group("text_editor/help/help") ||
|
EditorSettings::get_singleton()->check_changed_settings_in_group("text_editor/help/help") ||
|
||||||
EditorSettings::get_singleton()->check_changed_settings_in_group("filesystem/file_dialog/thumbnail_size");
|
EditorSettings::get_singleton()->check_changed_settings_in_group("filesystem/file_dialog/thumbnail_size") ||
|
||||||
|
EditorSettings::get_singleton()->check_changed_settings_in_group("run/output/font_size");
|
||||||
|
|
||||||
if (theme_changed) {
|
if (theme_changed) {
|
||||||
theme = create_custom_theme(theme_base->get_theme());
|
theme = create_custom_theme(theme_base->get_theme());
|
||||||
|
|||||||
Reference in New Issue
Block a user