11 Jan
2011
11 Jan
'11
2:55 p.m.
On Tue, Jan 11, 2011 at 5:20 PM, Heinrich Apfelmus
I'm not overly happy with the name "Location", though, because the data type not only represents one location but also the whole map around it. Maybe "Vicinity" is slightly more apt?
The other names I could think of ("PinnedMap", "FocussedMap", "FingerMap", "MarkedMap", "Neighborhood", "TreasureTrove") don't seem to be an improvement.
I was thinking about "Cursor". Bas