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 /modules/gdscript/language_server/gdscript_language_server.cpp | |
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 'modules/gdscript/language_server/gdscript_language_server.cpp')
0 files changed, 0 insertions, 0 deletions