[Freeciv-Dev] Re: (PR#9834) Connect dialog user-friendliness.
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
<URL: http://rt.freeciv.org/Ticket/Display.html?id=9834 >
Mateusz Stefek wrote:
> <URL: http://rt.freeciv.org/Ticket/Display.html?id=9834 >
>
> With this patch
> - "Preferences" button is renamed "Game options"
The dialog title should also be renamed Game Options (rather than Server
Options).
jason
- [Freeciv-Dev] Re: (PR#9834) Connect dialog user-friendliness.,
Jason Short <=
|
|