[Freeciv-Dev] Re: (PR#3712) City choose production dialog

["Jason Short" <jshort@xxxxxxxxxxxxxx>]

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

>
> <URL: http://rt.freeciv.org/Ticket/Display.html?id=3712 >
>
>> [vasc - Fri Apr 02 20:14:34 2004]:
>
>> Would making the icons optional be a satisfactory solution?
>
> And here is the patch.
>

This option isn't global so the variable shouldn't be in options.[ch].  It
should just be put somewhere in gui-gtk-2.0.

Perhaps other guis will use this in the future, in which case this might
change.  Or maybe they can just duplicate the option.

Note, this may also apply to some existing options.  The concept of
options for each GUI is recent.

jason