From 764ea0cdb9bd8f2ffc6b843ef7609fead75dd49c Mon Sep 17 00:00:00 2001
From: Paddle <PaddleStroke@users.noreply.github.com>
Date: Thu, 13 Apr 2023 17:26:56 +0200
Subject: [PATCH] Pref: General: Remove '(numpad)' string. It's tooltip stuff.

---
 src/Gui/DlgGeneral.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Gui/DlgGeneral.ui b/src/Gui/DlgGeneral.ui
index 2883cb42c6..d770d71c0c 100644
--- a/src/Gui/DlgGeneral.ui
+++ b/src/Gui/DlgGeneral.ui
@@ -177,7 +177,7 @@ in Python Console and Macro Editor where a
 dot/period will always be printed.</string>
          </property>
          <property name="text">
-          <string>Substitute decimal separator (numpad)</string>
+          <string>Substitute decimal separator</string>
          </property>
          <property name="prefEntry" stdset="0">
           <cstring>SubstituteDecimalSeparator</cstring>