seedlingattempt/godot
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Disable padding around highlighted rich text in the editor Output panel

Browse Source 
This prevents `[bgcolor]` and `[fgcolor]` rendering from overlapping
on nearby characters (especially on the line below).

This also makes it look closer to terminal output (which never uses padding).
This commit is contained in:
Hugo Locurcio
2023-05-21 00:05:02 +02:00
parent 809a982162
commit 0d1f6adf98
1 changed files with 5 additions and 0 deletions
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); 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")); 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("normal_font_size", font_size);
log->add_theme_font_size_override("bold_font_size", font_size); log->add_theme_font_size_override("bold_font_size", font_size);