diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-02-27 10:17:34 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-02-27 10:17:34 +0100 |
| commit | 730ef374b442098979015a6a2de3fa295732fbdd (patch) | |
| tree | 15b41ecf4641f0567e97cfddaa1664aec808bfe2 /modules/gdscript/language_server/gdscript_language_protocol.cpp | |
| parent | e8b94e65bb9c9e22f5a9694ff444a491db44c657 (diff) | |
| parent | f75cffcd46b72434effb5febc8cfa9d582bc761c (diff) | |
| download | redot-engine-730ef374b442098979015a6a2de3fa295732fbdd.tar.gz | |
Merge pull request #88652 from RobProductions/fix-hover-margin
Fix editor hover style margins when Draw Extra Borders is enabled
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_protocol.cpp')
0 files changed, 0 insertions, 0 deletions