You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-05 12:10:55 +00:00
Merge pull request #103129 from KoBeWi/saving_fanatic
Avoid some excessive edits of resources
This commit is contained in:
@@ -56,13 +56,13 @@ void EditorSettingsDialog::ok_pressed() {
|
||||
if (!EditorSettings::get_singleton()) {
|
||||
return;
|
||||
}
|
||||
|
||||
_settings_save();
|
||||
timer->stop();
|
||||
}
|
||||
|
||||
void EditorSettingsDialog::_settings_changed() {
|
||||
timer->start();
|
||||
if (is_visible()) {
|
||||
timer->start();
|
||||
}
|
||||
}
|
||||
|
||||
void EditorSettingsDialog::_settings_property_edited(const String &p_name) {
|
||||
@@ -174,6 +174,9 @@ void EditorSettingsDialog::_set_shortcut_input(const String &p_name, Ref<InputEv
|
||||
}
|
||||
|
||||
void EditorSettingsDialog::_settings_save() {
|
||||
if (!timer->is_stopped()) {
|
||||
timer->stop();
|
||||
}
|
||||
EditorSettings::get_singleton()->notify_changes();
|
||||
EditorSettings::get_singleton()->save();
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user