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

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

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

Vasco Alexandre da Silva Costa wrote:
> <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?

I don't know.  This is a section file question.

jason