From c342b6d7282adc6a13c6c8a006f8a5d8833e5479 Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Fri, 27 Oct 2023 10:50:55 +0200
Subject: [PATCH] Gui: invalid property type used for spin box, duplicated
 object name used

---
 src/Gui/PreferencePages/DlgSettingsNavigation.ui | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/Gui/PreferencePages/DlgSettingsNavigation.ui b/src/Gui/PreferencePages/DlgSettingsNavigation.ui
index 2e7879bdd9..3902e04e7a 100644
--- a/src/Gui/PreferencePages/DlgSettingsNavigation.ui
+++ b/src/Gui/PreferencePages/DlgSettingsNavigation.ui
@@ -267,16 +267,16 @@
          <number>1</number>
         </property>
         <property name="minimum">
-         <float>1.0</float>
+         <double>1.0</double>
         </property>
         <property name="maximum">
-         <float>100.0</float>
+         <double>100.0</double>
         </property>
         <property name="singleStep">
-         <float>0.5</float>
+         <double>0.5</double>
         </property>
         <property name="value">
-         <float>5.0</float>
+         <double>5.0</double>
         </property>
         <property name="prefEntry" stdset="0">
          <cstring>RotationCenterSize</cstring>
@@ -634,7 +634,7 @@ The value is the diameter of the sphere to fit on the screen.</string>
          </widget>
         </item>
         <item>
-         <spacer name="horizontalSpacer_4">
+         <spacer name="horizontalSpacer_5">
           <property name="orientation">
            <enum>Qt::Horizontal</enum>
           </property>