From 0d1f6adf98640577668312bce88012be2607b628 Mon Sep 17 00:00:00 2001 From: Hugo Locurcio Date: Sun, 21 May 2023 00:05:02 +0200 Subject: [PATCH] Disable padding around highlighted rich text in the editor Output panel 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). --- editor/editor_log.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/editor/editor_log.cpp b/editor/editor_log.cpp index 17e873e6376..7431166291e 100644 --- a/editor/editor_log.cpp +++ b/editor/editor_log.cpp @@ -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);