Hi Jan, Dmitry,

it is only possible to choose a character as thousands separator that is not in use otherwise (e.g. as decimal point, number etc.).

Thanks for figuring out the problem with the configuration file. Unfortunately, I have no clue what the exact reason could have been. Jan, by any chance, do you have a backup of that bad configuration file?

best, simon

On 01/25/2013 11:39 AM, Jan Korbel wrote:
Maybe thousands separator. I can't type anything to preferences -
numbers - separator character in 2.0.1. But it's not so important.

J.

On 25.1.2013 08:28, Dmitry Smirnov wrote:
Hi Jan,

I'm very happy that we found the solution. Thank you for your feedback.
I'm a little bit curious about what exactly is this malicious
configuration
that 1.3.* (or earlier versions) put to its config file...

I also upgraded from 1.3.4 but didn't have this problem in first place.




--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to