Enrico Forestieri wrote:
> No problem. As I said, I have no preference. I only hope that your doing is
> not due to some grudge against me.
I don't see the slightest reason for that.
It is well possible, though, that the heat (we have 40 °C today) makes me
impatient. But I cannot blame you for t
On Sat, Jul 27, 2013 at 12:31:17PM +0200, Jürgen Spitzmüller wrote:
> Enrico Forestieri wrote:
> > I suggest that you post your proposed changes and then wait for at
> > least a couple of days before applying them, otherwise it may seems that you
> > are forcing your preferences upon all others.
Enrico Forestieri wrote:
> I suggest that you post your proposed changes and then wait for at
> least a couple of days before applying them, otherwise it may seems that you
> are forcing your preferences upon all others.
I take this point. I should have waited for your comment before submitting.
Enrico Forestieri wrote:
> You had more than 2 weeks for commenting on the two different patches that
> I proposed. You were silent, so I applied the patch for which JMarc
> expressed a preference.
I was busy and didn't notice the proposal until it was submitted and hit me on
the head.
> BTW, yo
On Sat, Jul 27, 2013 at 09:56:30AM +0200, Jürgen Spitzmüller wrote:
> Am Freitag 26 Juli 2013, 20:53:44 schrieb Enrico Forestieri:
> > commit 92863de517bfa12d36a308bb332700a29565424f
> > Author: Enrico Forestieri
> > Date: Fri Jul 26 20:52:44 2013 +0200
> >
> > Fix Qt5 decimal separator bu
Am Samstag, 27. Juli 2013 um 10:23:05, schrieb Jürgen Spitzmüller
> Kornel Benko wrote:
> > Do you have an example? It works here (slovak GUI) which also has ',' as
> > decimal separator.
> >
> > Setting for instance width of table element to 5,3cm works. Moreover 5.3cm
> > works too and is conv
Kornel Benko wrote:
> Do you have an example? It works here (slovak GUI) which also has ',' as
> decimal separator.
>
> Setting for instance width of table element to 5,3cm works. Moreover 5.3cm
> works too and is converted to 5,3 in the GUI
Look at Preferences > Screen Fonts.
The widgets you m
Am Samstag, 27. Juli 2013 um 09:56:30, schrieb Jürgen Spitzmüller
> Am Freitag 26 Juli 2013, 20:53:44 schrieb Enrico Forestieri:
> > commit 92863de517bfa12d36a308bb332700a29565424f
> > Author: Enrico Forestieri
> > Date: Fri Jul 26 20:52:44 2013 +0200
> >
> > Fix Qt5 decimal separator bug
Am Freitag 26 Juli 2013, 20:53:44 schrieb Enrico Forestieri:
> commit 92863de517bfa12d36a308bb332700a29565424f
> Author: Enrico Forestieri
> 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
>
