commit 92863de517bfa12d36a308bb332700a29565424f
Author: Enrico Forestieri <for...@lyx.org>
Date:   Fri Jul 26 20:52:44 2013 +0200

    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 4c69aeb..fdd12a1 100644
--- 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));
 }

Reply via email to