From 1d4c6f4f2d266c0837bc0d0955a7b2b65e10b12e Mon Sep 17 00:00:00 2001
From: 0penBrain <48731257+0penBrain@users.noreply.github.com>
Date: Fri, 4 Nov 2022 10:38:53 +0100
Subject: [PATCH] [Typo]Gui: fix file indentation + improve tootip
---
src/Gui/DlgGeneral.ui | 32 ++++++++++++++++----------------
1 file changed, 16 insertions(+), 16 deletions(-)
diff --git a/src/Gui/DlgGeneral.ui b/src/Gui/DlgGeneral.ui
index 80c307f26a..f207276f16 100644
--- a/src/Gui/DlgGeneral.ui
+++ b/src/Gui/DlgGeneral.ui
@@ -103,22 +103,22 @@
-
-
-
- If enabled, numerical keypad decimal separator will be substituted with locale separator
-
-
- Substitute decimal separator (numpad)
-
-
- SubstituteDecimalSeparator
-
-
- General
-
-
-
-
+
+
+ If enabled, numerical keypad decimal separator will be substituted with locale separator, except in Python Console and Macro Editor where a dot/period will always be printed.
+
+
+ Substitute decimal separator (numpad)
+
+
+ SubstituteDecimalSeparator
+
+
+ General
+
+
+
+
-