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

Reply via email to