Hallo, Hans-Christoph Steiner hat gesagt: // Hans-Christoph Steiner wrote:
I'll add -vanillagui to set the old colors.
As I wrote in my mail, I don't think using command line options in this fashion is a good idea. It's not maintainable. It forces people to choose either A or B, when they actually want 1.2635 or 9.3463
Frank Barknecht _ ______footils.org__