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)); }