From 2ddf5dd62502ac0699bb2005a80601e855affc63 Mon Sep 17 00:00:00 2001
From: 0penBrain <48731257+0penBrain@users.noreply.github.com>
Date: Mon, 28 Mar 2022 18:44:32 +0200
Subject: [PATCH] Gui: improve a bit number format selection
---
src/Gui/DlgGeneral.ui | 84 +++++++++++++++++++------------------------
1 file changed, 36 insertions(+), 48 deletions(-)
diff --git a/src/Gui/DlgGeneral.ui b/src/Gui/DlgGeneral.ui
index 9312c3b95b..3e4e81f9de 100644
--- a/src/Gui/DlgGeneral.ui
+++ b/src/Gui/DlgGeneral.ui
@@ -57,39 +57,27 @@
6
-
-
-
- 6
+
+
+ Change language:
-
- 0
+
+
+ -
+
+
+ Language of the application's user interface
-
- 0
-
-
- 0
-
-
- 0
-
-
-
-
-
- Change language:
-
-
-
- -
-
-
- Language of the application's user interface
-
-
-
-
+
-
+
+
+ Number format:
+
+
+
+ -
UseLocaleFormatting
@@ -99,37 +87,37 @@
-
- Number format of operating system
+ Operating system
-
- Use selected language number format
+ Selected language
-
- C/POSIX number format
+ C/POSIX
- -
-
-
- If enabled, numerical keypad decimal separator will be substituted with locale separator
-
-
- Substitute decimal separator (needs restart)
-
-
- SubstituteDecimalSeparator
-
-
- General
-
-
-
+ -
+
+
+ If enabled, numerical keypad decimal separator will be substituted with locale separator
+
+
+ Substitute decimal separator (needs restart)
+
+
+ SubstituteDecimalSeparator
+
+
+ General
+
+
+