Save editor settings when modified from code

Author: KoBeWi

doc/classes/EditorSettings.xml

@@ -6,6 +6,7 @@
 	<description>
 		Object that holds the project-independent editor settings. These settings are generally visible in the [b]Editor &gt; Editor Settings[/b] menu.
 		Property names use slash delimiters to distinguish sections. Setting values can be of any [Variant] type. It's recommended to use [code]snake_case[/code] for editor settings to be consistent with the Godot editor itself.
+		Editor settings are saved automatically when changed.
 		Accessing the settings can be done using the following methods, such as:
 		[codeblocks]
 		[gdscript]

editor/settings/editor_settings_dialog.cpp

@@ -62,9 +62,7 @@ void EditorSettingsDialog::ok_pressed() {
 }
 
 void EditorSettingsDialog::_settings_changed() {
-	if (is_visible()) {
-		timer->start();
-	}
+	timer->start();
 }
 
 void EditorSettingsDialog::_settings_property_edited(const String &p_name) {