Tiny fix to prevent settings from permanently being marked as changed

Former-commit-id: ce120495a91ce0306bcb010923cd340fc70b87db
This commit is contained in:
Yeedo 2019-04-25 14:23:40 +01:00
parent 488132f63b
commit 48747dd9a9

View File

@ -86,6 +86,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