Vincent van Ravesteijn wrote: > Isn't it the safest to add "setlocale(LC_NUMERIC, "C") to > GuiApplication::setLocale()" ? > > We used to do this before, and this fixes also the other places where we > might get hit.
Yes, after your analysis of the problem, I think so, too. The attached patch works for me and does not break numeric localization in the GUI. Jürgen
diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp index 80bd699..19e9b2b 100644 --- a/src/frontends/qt4/GuiApplication.cpp +++ b/src/frontends/qt4/GuiApplication.cpp @@ -188,6 +188,7 @@ void setLocale() } Messages::guiLanguage(fromqstr(theLocale.name())); QLocale::setDefault(theLocale); + setlocale(LC_NUMERIC, "C"); }