From c664cbc941380cd95ef06863deb7d8c4147e75d9 Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Wed, 9 Aug 2023 16:28:41 +0200
Subject: [PATCH] fixes #10105: Tabstop assignment compilation warning

---
 src/Gui/PreferencePages/DlgSettingsViewColor.ui | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/Gui/PreferencePages/DlgSettingsViewColor.ui b/src/Gui/PreferencePages/DlgSettingsViewColor.ui
index d3bc9309e0..320ffa406f 100644
--- a/src/Gui/PreferencePages/DlgSettingsViewColor.ui
+++ b/src/Gui/PreferencePages/DlgSettingsViewColor.ui
@@ -445,9 +445,6 @@
  </customwidgets>
  <tabstops>
   <tabstop>checkBoxPreselection</tabstop>
-  <tabstop>HighlightColor</tabstop>
-  <tabstop>checkBoxSelection</tabstop>
-  <tabstop>SelectionColor</tabstop>
   <tabstop>SelectionColor_Background</tabstop>
   <tabstop>backgroundColorFrom</tabstop>
   <tabstop>backgroundColorTo</tabstop>