diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-13 02:31:02 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-13 02:34:05 +0200 |
| commit | 9e5f1d664165ad218c7d6c2248db7b5dd69a750d (patch) | |
| tree | b3555988510971a5886b221f08fef3faca4c60e7 /modules/gdscript/language_server/gdscript_text_document.cpp | |
| parent | 24e1039eb6fe32115e8d1a62a84965e9be19a2ed (diff) | |
| download | redot-engine-9e5f1d664165ad218c7d6c2248db7b5dd69a750d.tar.gz | |
Add an "hover" style to items in the project manager
This makes the project manager feel more responsive to user input.
Diffstat (limited to 'modules/gdscript/language_server/gdscript_text_document.cpp')
0 files changed, 0 insertions, 0 deletions