diff options
| author | Matt Enad <m22mail@comcast.net> | 2024-02-21 21:36:48 -0500 |
|---|---|---|
| committer | Matt Enad <m22mail@comcast.net> | 2024-02-21 21:36:48 -0500 |
| commit | f75cffcd46b72434effb5febc8cfa9d582bc761c (patch) | |
| tree | c656a60d21c7142d85c77c992e0aac7d6372851b /modules/gdscript/language_server/gdscript_language_protocol.h | |
| parent | 16d61427cab3a8e43f0a9a8ee724fc176b6433c6 (diff) | |
| download | redot-engine-f75cffcd46b72434effb5febc8cfa9d582bc761c.tar.gz | |
Fix hover style margin with extra borders enabled
The content margins for FlatMenuButton and RunBarButton are now handled correctly when the "Draw Extra Borders" user option is enabled
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_protocol.h')
0 files changed, 0 insertions, 0 deletions