2a8294ff24
We need to dispose the GodotSharpExport export plugin before the editor destroys EditorSettings. Otherwise, if the GC disposes it at a later time, EditorExportPlatformAndroid will be freed after EditorSettings already was, and its device polling thread will try to access the EditorSettings singleton, resulting in null dereferencing. |
||
---|---|---|
.. | ||
GodotTools | ||
GodotTools.BuildLogger | ||
GodotTools.Core | ||
GodotTools.ProjectEditor | ||
.gitignore | ||
GodotTools.sln |