Merge pull request #55679 from raulsntos/script_reload_fix

C# scripts reload in editor fixed
This commit is contained in:
Ignacio Roldán Etcheverry 2022-01-16 11:56:39 +01:00 committed by GitHub
commit e527687e1e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 5 deletions

View file

@ -101,6 +101,7 @@ private:
bool tool = false;
bool valid = false;
bool reload_invalidated = false;
bool builtin;