diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-05-23 19:14:27 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-05-23 19:14:27 +0200 |
| commit | 7b802ed15053e8bd583ea474d0533e3ae1f091a1 (patch) | |
| tree | c23e99aeb7cbf01e3261c6630e63f53b2ce96a53 /editor | |
| parent | 012541763d45afe0d9c937709fded80c173a6812 (diff) | |
| parent | 0d1f6adf98640577668312bce88012be2607b628 (diff) | |
| download | redot-engine-7b802ed15053e8bd583ea474d0533e3ae1f091a1.tar.gz | |
Merge pull request #77291 from Calinou/editor-log-highlight-decrease-padding
Disable padding around highlighted rich text in the editor Output panel
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); |