Tiny fix to prevent settings from permanently being marked as changed

Former-commit-id: 99927ee1ca6c1cabb5268353690ec88425b7ae3d
This commit is contained in:
Yeedo 2019-04-25 14:23:40 +01:00
parent e1fc901b5f
commit 00e92e5ea2

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