Gui: add decimal point converter to Translator

2022-04-08 15:42:39 +02:00
parent d8bd6f1fb4
commit 3eadba2b21
8 changed files with 71 additions and 60 deletions
--- a/src/Gui/Application.cpp
+++ b/src/Gui/Application.cpp
@@ -2051,12 +2051,6 @@ void Application::runApplication()
        auto filter = new WheelEventFilter(&mainApp);
        mainApp.installEventFilter(filter);
    }
-    
-    //filter keyboard events to substitute decimal separator
-    if (hGrp->GetBool("SubstituteDecimalSeparator", false)) {
-        auto filter = new KeyboardFilter(&mainApp);
-        mainApp.installEventFilter(filter);
-    }

    // For values different to 1 and 2 use the OS locale settings
    auto localeFormat = hGrp->GetInt("UseLocaleFormatting", 0);