[Freeciv-Dev] Re: (PR#892) GUI-specific options don't work properly in 1.12.0

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

On Wed, 2003-03-26 at 21:39, Vasco Alexandre da Silva Costa wrote:
> 
> Looking at the current sourcecode (client/civclient.c) the options after
> after '--' are passed to the ui_main function which passes them to
> 'gtk_init' hence this problem does not exist anymore.

This sounds correct.  However we also have

[jdorje@localhost:~/src/freeciv/freeciv]$ ./civ -- --help
Report bugs to <bugs@xxxxxxxxxxxxxxxxxxx>.

which is not quite right.  IMO this string should be appended to the
normal --help output, and --help as a GUI option should be sent straight
through to the GUI code (at least for GUIs where it does something).

jason