diff options
| author | Juan Linietsky | 2016-07-03 19:13:45 -0300 |
|---|---|---|
| committer | Juan Linietsky | 2016-07-03 19:14:58 -0300 |
| commit | 7e50a9a2e87582e922b06d6c0b6a03d22e7cef68 (patch) | |
| tree | 9723201bf87a74ed25b052a51435096ba309c928 /tools/editor/project_manager.cpp | |
| parent | ac157f8c05bf0967b65ba289b6118de807612cdf (diff) | |
| download | godot-7e50a9a2e87582e922b06d6c0b6a03d22e7cef68.tar.gz godot-7e50a9a2e87582e922b06d6c0b6a03d22e7cef68.tar.zst godot-7e50a9a2e87582e922b06d6c0b6a03d22e7cef68.zip | |
Avoid settings from being lost when opening project manager.
Probably fixes many issues of this kind, like missing shortcuts or other settings
Diffstat (limited to '')
| -rw-r--r-- | tools/editor/project_manager.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/editor/project_manager.cpp b/tools/editor/project_manager.cpp index dafec397c..860af4888 100644 --- a/tools/editor/project_manager.cpp +++ b/tools/editor/project_manager.cpp @@ -830,6 +830,9 @@ ProjectManager::ProjectManager() { if (!EditorSettings::get_singleton()) EditorSettings::create(); + + EditorSettings::get_singleton()->set_optimize_save(false); //just write settings as they came + { int dpi_mode = EditorSettings::get_singleton()->get("global/hidpi_mode"); if (dpi_mode==0) { |