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

["Vasco Alexandre da Silva Costa" <vasc@xxxxxxxxxxxxxx>]

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

On Thu, 15 Jan 2004, Jason Short wrote:

>
> <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.

Can't we make it read and store all options, even if they aren't used?

---
Vasco Alexandre da Silva Costa @ Instituto Superior Tecnico, Lisboa