[Freeciv-Dev] Re: (PR#12134) fullscreen and save-options-on-exit options

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

<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 >
>
> It's good to put these options into menus but they should stay in the
> dialog too.  There shouldn't be any special handling.

No. Especially not Save Options on Exit. It goes against the HIG to place
that in a tab at the options dialog.

> All options should be listed in the dialog, even ones that are in menus
> too.  This goes for all the view-menu options (which I'll deal with in a

No. This goes against the principle of not having redundant controls.
Which is also in the HIG.

> separate patch, after which we may rethink the option categories).

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