diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-11-11 14:17:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-11 14:17:53 +0100 |
| commit | 02e616b4ef00b7c541055673608db935938c2ecf (patch) | |
| tree | ed16060c6fd0a22559d117b425c7d8f04a2ac635 /tools | |
| parent | 7751a933a924ddd3c96369c5f54c3e60450a6d04 (diff) | |
| parent | 70cce6152d32b8a4e5fdfee52e2bb873c92551e5 (diff) | |
Merge pull request #6998 from volzhs/fix-editor-settings
Fix resetting to default value in EditorSettings
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/editor/editor_settings.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/editor/editor_settings.cpp b/tools/editor/editor_settings.cpp index 78bfd7cf25..2a355d95f3 100644 --- a/tools/editor/editor_settings.cpp +++ b/tools/editor/editor_settings.cpp @@ -1098,7 +1098,6 @@ EditorSettings::EditorSettings() { } _load_defaults(); - save_changed_setting=false; } |