mirror of
https://github.com/godotengine/godot.git
synced 2025-12-08 06:09:55 +00:00
Merge pull request #112291 from kitbdev/fix-warnings-panel-font
Fix warnings and error panel font not updating
This commit is contained in:
commit
7cd4ee5923
2 changed files with 0 additions and 15 deletions
|
|
@ -364,13 +364,6 @@ void ShaderTextEditor::_load_theme_settings() {
|
|||
// Colorize preprocessor include strings.
|
||||
const Color string_color = EDITOR_GET("text_editor/theme/highlighting/string_color");
|
||||
syntax_highlighter->add_color_region("\"", "\"", string_color, false);
|
||||
|
||||
if (warnings_panel) {
|
||||
// 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)));
|
||||
}
|
||||
|
||||
syntax_highlighter->set_uint_suffix_enabled(true);
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue