From 92863de517bfa12d36a308bb332700a29565424f Mon Sep 17 00:00:00 2001
From: Enrico Forestieri <forenr@lyx.org>
Date: Fri, 26 Jul 2013 20:52:44 +0200
Subject: [PATCH] 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).
---
 src/frontends/qt4/qt_helpers.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontends/qt4/qt_helpers.cpp b/src/frontends/qt4/qt_helpers.cpp
index 4c69aebff1..fdd12a10ff 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));
 }
-- 
2.39.2