mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2024-12-27 11:24:59 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #77291 from Calinou/editor-log-highlight-decrease-padding

Browse Source 
Disable padding around highlighted rich text in the editor Output panel
This commit is contained in:
Rémi Verschelde 2023-05-23 19:14:27 +02:00
commit 7b802ed150
No known key found for this signature in database
GPG Key ID: C3336907360768E1
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
editor/editor_log.cpp
View File

@ -90,6 +90,11 @@ void EditorLog::_update_theme() {
log->add_theme_font_override("mono_font", mono_font);
}
// Disable padding for highlighted background/foreground to prevent highlights from overlapping on close lines.
// This also better matches terminal output, which does not use any form of padding.
log->add_theme_constant_override("text_highlight_h_padding", 0);
log->add_theme_constant_override("text_highlight_v_padding", 0);
const int font_size = get_theme_font_size(SNAME("output_source_size"), SNAME("EditorFonts"));
log->add_theme_font_size_override("normal_font_size", font_size);
log->add_theme_font_size_override("bold_font_size", font_size);