Fix Qt5 decimal separator bug

Always use '.' as the decimal separator in the GUI, because we
call setlocale(LC_NUMERIC, "C") in setLocale() (GuiApplication.cpp).

diff --git a/src/frontends/qt4/qt_helpers.cpp b/src/frontends/qt4/qt_helpers.cpp
index 4c69aebff141bf01d4592c14ef5bab3d483bdf3a..fdd12a10ffd3da26f2457925db2082382a98d539 100644 (file)
--- a/src/frontends/qt4/qt_helpers.cpp
+++ b/src/frontends/qt4/qt_helpers.cpp
@@ -179,7 +179,7 @@ string widgetToDoubleStr(QLineEdit const * input)
 
 void doubleToWidget(QLineEdit * input, double const & value, char f, int prec)
 {
-       QLocale loc;
+       QLocale loc("C");
        loc.setNumberOptions(QLocale::OmitGroupSeparator);
        input->setText(loc.toString(value, f, prec));
 }