diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-04-24 16:42:38 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-04-24 16:42:38 +0200 |
| commit | dfee04ae2a69da8fee73d5066a2114d94fb411ea (patch) | |
| tree | 9870ba96e75267e99c3329ff8d0395a634f4c4b4 /modules/gdscript/language_server/gdscript_language_protocol.cpp | |
| parent | f178cad04a39bc40e759ef50675606b12bb07fff (diff) | |
| parent | 9f1e18e64ceb09cfeedd0a341de298e3ef806976 (diff) | |
| download | redot-engine-dfee04ae2a69da8fee73d5066a2114d94fb411ea.tar.gz | |
Merge pull request #74632 from davthedev/tabs-hover
Add theming support for hovered tabs
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_protocol.cpp')
0 files changed, 0 insertions, 0 deletions