Tiny fix to prevent settings from permanently being marked as changed

Former-commit-id: c12d760a22926eebc2661be1db4609546286c89a
This commit is contained in:
Yeedo 2019-04-25 14:23:40 +01:00
parent dc5ec137e9
commit c032e60d12

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