summaryrefslogtreecommitdiffstats
path: root/editor
diff options
context:
space:
mode:
authorHugo Locurcio <hugo.locurcio@hugo.pro>2023-05-21 00:05:02 +0200
committerHugo Locurcio <hugo.locurcio@hugo.pro>2023-05-21 00:06:23 +0200
commit0d1f6adf98640577668312bce88012be2607b628 (patch)
treed4d5f7c01a22f923b6a9a8c05080eecf446d89dc /editor
parent809a98216267f3066b9fec2f02b2042bdc9d3e0d (diff)
downloadredot-engine-0d1f6adf98640577668312bce88012be2607b628.tar.gz
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).
Diffstat (limited to 'editor')
-rw-r--r--editor/editor_log.cpp5
1 files changed, 5 insertions, 0 deletions
diff --git a/editor/editor_log.cpp b/editor/editor_log.cpp
index 17e873e637..7431166291 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);