From c6fdc526dd1624afba6950069a3e1da89efe4b04 Mon Sep 17 00:00:00 2001
From: 0penBrain <48731257+0penBrain@users.noreply.github.com>
Date: Wed, 8 Apr 2020 12:39:51 +0200
Subject: [PATCH] [Sketcher] Add missing 'Auto remove redundant' to preferences

---
 src/Mod/Sketcher/Gui/SketcherSettings.cpp |  2 ++
 src/Mod/Sketcher/Gui/SketcherSettings.ui  | 19 +++++++++++++++++++
 2 files changed, 21 insertions(+)

diff --git a/src/Mod/Sketcher/Gui/SketcherSettings.cpp b/src/Mod/Sketcher/Gui/SketcherSettings.cpp
index eb742b5fec..dc69ebcad2 100644
--- a/src/Mod/Sketcher/Gui/SketcherSettings.cpp
+++ b/src/Mod/Sketcher/Gui/SketcherSettings.cpp
@@ -72,6 +72,7 @@ void SketcherSettings::saveSettings()
     ui->checkBoxRecalculateInitialSolutionWhileDragging->onSave();
     ui->checkBoxEnableEscape->onSave();
     ui->checkBoxNotifyConstraintSubstitutions->onSave();
+    ui->checkBoxAutoRemoveRedundants->onSave();
     form->saveSettings();
 }
 
@@ -82,6 +83,7 @@ void SketcherSettings::loadSettings()
     ui->checkBoxRecalculateInitialSolutionWhileDragging->onRestore();
     ui->checkBoxEnableEscape->onRestore();
     ui->checkBoxNotifyConstraintSubstitutions->onRestore();
+    ui->checkBoxAutoRemoveRedundants->onRestore();
     form->loadSettings();
 }
 
diff --git a/src/Mod/Sketcher/Gui/SketcherSettings.ui b/src/Mod/Sketcher/Gui/SketcherSettings.ui
index f08bbf8319..8913c29bed 100644
--- a/src/Mod/Sketcher/Gui/SketcherSettings.ui
+++ b/src/Mod/Sketcher/Gui/SketcherSettings.ui
@@ -109,6 +109,25 @@ Requires to re-enter edit mode to take effect.</string>
       <string>General</string>
      </property>
      <layout class="QVBoxLayout" name="verticalLayout_22">
+      <item>
+       <widget class="Gui::PrefCheckBox" name="checkBoxAutoRemoveRedundants">
+        <property name="toolTip">
+         <string>New constraints that would be redundant will automatically be removed</string>
+        </property>
+        <property name="text">
+         <string>Auto remove redundants</string>
+        </property>
+        <property name="checked">
+         <bool>false</bool>
+        </property>
+        <property name="prefEntry" stdset="0">
+         <cstring>AutoRemoveRedundants</cstring>
+        </property>
+        <property name="prefPath" stdset="0">
+         <cstring>Mod/Sketcher</cstring>
+        </property>
+       </widget>
+      </item>
       <item>
        <widget class="Gui::PrefCheckBox" name="checkBoxEnableEscape">
         <property name="toolTip">