diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-02-20 19:34:40 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-02-20 19:34:40 +0100 |
| commit | 9e9dcdbba4c605447e0fc64637f3c58224edf215 (patch) | |
| tree | f9659f4e30f49deba3b19a4de67981406a965847 /modules/gdscript/language_server/gdscript_workspace.cpp | |
| parent | 60375002196d3fa881029bc6ac743d3f05aff859 (diff) | |
| parent | 5b5de0e1676bb96c34e4e3cd51f912ac159519a8 (diff) | |
| download | redot-engine-9e9dcdbba4c605447e0fc64637f3c58224edf215.tar.gz | |
Merge pull request #86378 from RobProductions/update-hover-styling
Add hover highlight to main editor buttons
Diffstat (limited to 'modules/gdscript/language_server/gdscript_workspace.cpp')
0 files changed, 0 insertions, 0 deletions