Always use '.' as the decimal separator in the GUI, because we
call setlocale(LC_NUMERIC, "C") in setLocale() (GuiApplication.cpp).
void doubleToWidget(QLineEdit * input, double const & value, char f, int prec)
{
void doubleToWidget(QLineEdit * input, double const & value, char f, int prec)
{
loc.setNumberOptions(QLocale::OmitGroupSeparator);
input->setText(loc.toString(value, f, prec));
}
loc.setNumberOptions(QLocale::OmitGroupSeparator);
input->setText(loc.toString(value, f, prec));
}