On Fri, Jul 19, 2013 at 10:32:27PM +0200, Stephan Witt wrote: > I think another move would be better: the internal representation of > numeric values as strings is not a good idea. The code looks much > nicer when making the font_sizes an array of double values. > > Of course making the font_sizes persistent in preferences needs > careful locale handling. I've used the imbue() method locally. > ATM, this is redundant because of the global locale settings > on LyX startup.
For now, I've commited the simple one-liner patch. -- Enrico
