[Freeciv-Dev] Re: (PR#7079) Remove unneeded options from clients

["Jason Short" <jshort@xxxxxxxxxxxxxx>]

<URL: http://rt.freeciv.org/Ticket/Display.html?id=7079 >

> Client specific options should have a special prefix in the name to
> prevent name conflicts. For e.g.: 'gtk-2.0-foo'.

Possibly.

GTK1 and GTK2 will have many of the same options.  Presumably the user
will want these options to be shared between the two.

But more likely when the gtk2 client opens up and saves its options, any
gtk-1.0-foo options simply will be lost since they were never loaded. 
This is mildly bad.

None of this really matters since very few people use more than one
client, and they probably don't care how their options carry over.

jason