diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2023-05-21 00:05:02 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2023-05-21 00:06:23 +0200 |
commit | 0d1f6adf98640577668312bce88012be2607b628 (patch) | |
tree | d4d5f7c01a22f923b6a9a8c05080eecf446d89dc /editor | |
parent | 809a98216267f3066b9fec2f02b2042bdc9d3e0d (diff) | |
download | redot-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.cpp | 5 |
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); |