diff --git a/src/UserSettingsPage.h b/src/UserSettingsPage.h index 9dbe643e341b448fec50df5a334a942aade6bd8e..a1bc4ffc69f2082f05b5e9713e7b0cad39e5483f 100644 --- a/src/UserSettingsPage.h +++ b/src/UserSettingsPage.h @@ -87,10 +87,7 @@ public: save(); } - void setIgnoreMinorEvents(bool state) - { - ignoreMinorEvents_ = state; - } + void setIgnoreMinorEvents(bool state) { ignoreMinorEvents_ = state; } void setButtonsInTimeline(bool state) {