[Freeciv-Dev] Re: (PR#8632) Easy way to set map size with auto ratios (seteables if desired)

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

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

rwetmore@xxxxxxxxxxxx wrote:

> Your insight that the number of presses is probably a good way to figure out 
> how the user views this is quite good. Use it for GUI input dialogs, but do 
> not change the underlying native code core mechanics for how this is managed 
>   to develop incremental topologies.

We're not talking about changing the core code mechanics.  We're talking 
about changing the available server options.  These are a user input 
element, not "core code" at all.

jason