mirror of
https://github.com/godotengine/godot.git
synced 2025-12-08 06:09:55 +00:00
Fix warnings and error panel font not updating
This commit is contained in:
parent
0fdbf050e0
commit
4e22eddb3c
2 changed files with 0 additions and 15 deletions
|
|
@ -2848,17 +2848,9 @@ void ScriptTextEditor::_enable_code_editor() {
|
|||
_update_gutter_indexes();
|
||||
|
||||
editor_box->add_child(warnings_panel);
|
||||
warnings_panel->add_theme_font_override(
|
||||
"normal_font", EditorNode::get_singleton()->get_editor_theme()->get_font(SNAME("main"), EditorStringName(EditorFonts)));
|
||||
warnings_panel->add_theme_font_size_override(
|
||||
"normal_font_size", EditorNode::get_singleton()->get_editor_theme()->get_font_size(SNAME("main_size"), EditorStringName(EditorFonts)));
|
||||
warnings_panel->connect("meta_clicked", callable_mp(this, &ScriptTextEditor::_warning_clicked));
|
||||
|
||||
editor_box->add_child(errors_panel);
|
||||
errors_panel->add_theme_font_override(
|
||||
"normal_font", EditorNode::get_singleton()->get_editor_theme()->get_font(SNAME("main"), EditorStringName(EditorFonts)));
|
||||
errors_panel->add_theme_font_size_override(
|
||||
"normal_font_size", EditorNode::get_singleton()->get_editor_theme()->get_font_size(SNAME("main_size"), EditorStringName(EditorFonts)));
|
||||
errors_panel->connect("meta_clicked", callable_mp(this, &ScriptTextEditor::_error_clicked));
|
||||
|
||||
add_child(context_menu);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue