diff --git a/src/Gui/SettingsDialog/GeneralOptionsPage.h b/src/Gui/SettingsDialog/GeneralOptionsPage.h
--- a/src/Gui/SettingsDialog/GeneralOptionsPage.h
+++ b/src/Gui/SettingsDialog/GeneralOptionsPage.h
@@ -39,7 +39,7 @@
 
     private slots:
 
-    void markDirty(bool checked);
+    void markDirty();
 
     private:
 
diff --git a/src/Gui/SettingsDialog/GeneralOptionsPage.cpp b/src/Gui/SettingsDialog/GeneralOptionsPage.cpp
--- a/src/Gui/SettingsDialog/GeneralOptionsPage.cpp
+++ b/src/Gui/SettingsDialog/GeneralOptionsPage.cpp
@@ -74,9 +74,8 @@
     setLayout(mainLayout);
 }
 
-void GeneralOptionsPage::markDirty(bool checked)
+void GeneralOptionsPage::markDirty()
 {
-    Q_UNUSED(checked);
     mChangesMade = true;
 }