[Freeciv-Dev] Re: (PR#12134) fullscreen and save-options-on-exit options
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
<URL: http://bugs.freeciv.org/Ticket/Display.html?id=12134 >
On Sat, 5 Feb 2005, Jason Short wrote:
>
> <URL: http://bugs.freeciv.org/Ticket/Display.html?id=12134 >
>
> At a minimum the special-casing should be removed. We can stick them
> into the view_options[] array. If that sounds wrong then we can rename
> view_options as menu_options.
Renaming it as menu-options and putting save-options-on-exit in there
makes more sense.
---
Vasco Alexandre da Silva Costa @ Instituto Superior Tecnico, Lisboa
|
|