From 7e50a9a2e87582e922b06d6c0b6a03d22e7cef68 Mon Sep 17 00:00:00 2001
From: Juan Linietsky
Date: Sun, 3 Jul 2016 19:13:45 -0300
Subject: Avoid settings from being lost when opening project manager. Probably
 fixes many issues of this kind, like missing shortcuts or other settings

---
 tools/editor/project_manager.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'tools/editor/project_manager.cpp')

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) {
-- 
cgit v1.2.3-70-g09d2