Tiny fix to prevent settings from permanently being marked as changed

Former-commit-id: 665a8851526c1386e497064e2b0f3f8689db60d8
This commit is contained in:
Yeedo 2019-04-25 14:23:40 +01:00
parent 50c6518d89
commit 7593d4e821

View File

@ -83,6 +83,7 @@ impl Window {
if self.settings_changed {
events.push(Event::SettingsChanged);
self.settings_changed = false;
}
// Copy data that is needed by the events closure to avoid lifetime errors