diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-12-12 10:40:16 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-12-12 10:40:16 +0100 |
commit | 7f02f5b71b2811018dfeacd2879a7ee813b32035 (patch) | |
tree | bd5fe6caa11ab3fee40a90a2cb27cb98503e607f /modules/gdscript/language_server/gdscript_extend_parser.cpp | |
parent | 748113280f3ec6e16a449c667a2d87f563d9b668 (diff) | |
parent | da84489b27dedbe480a2ffcf9dbb60a68775cf66 (diff) | |
download | redot-engine-7f02f5b71b2811018dfeacd2879a7ee813b32035.tar.gz |
Merge pull request #85686 from kevmorg/master
Hide Node dock successfully on undo/redo and deletion
Diffstat (limited to 'modules/gdscript/language_server/gdscript_extend_parser.cpp')
0 files changed, 0 insertions, 0 deletions