From 6ad75fb3157298ca0e26dbe84964bcf704052fa6 Mon Sep 17 00:00:00 2001 From: Roy-043 Date: Fri, 19 Apr 2024 19:14:17 +0200 Subject: [PATCH] Draft: Fix error when deleting first digit of input Fixes #13150. --- src/Mod/Draft/DraftGui.py | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/Mod/Draft/DraftGui.py b/src/Mod/Draft/DraftGui.py index ab7b827a10..c6e8584f4a 100644 --- a/src/Mod/Draft/DraftGui.py +++ b/src/Mod/Draft/DraftGui.py @@ -1095,10 +1095,13 @@ class DraftToolBar: treated as shortcuts """ - if txt == "" or txt[0] in "0123456789.,-": + if txt == "": self.updateSnapper() - if txt[0] in "0123456789.,-": - self.setMouseMode(False) + return + + if txt[0] in "0123456789.,-": + self.updateSnapper() + self.setMouseMode(False) return txt = txt[0].upper()