[Freeciv-Dev] Re: (PR#3437) rename of map_inx

["Mike Kaufman" <kaufman@xxxxxxxxxxxxxxxxxxxxxx>]

On Sat, Feb 15, 2003 at 09:36:49AM -0800, Jason Short wrote:
> 
> We need to rename map_inx.
> 
> Two names have been proposed: map_to_index_pos and map_to_index.  Ross 
> and I can't agree on which to use.
> 
> Raimar points out that the 'pos' here is redundant since it is already 
> implied by the 'index'.  OTOH I often use the term 'index position', not 
> just 'index'.
> 
> Does anyone else have a preference?  Once this is decided, I'll make a 
> patch.

no hard opinion. I'll add some more: map_pos_to_index, map_index_pos

-mike