Updated Editor
Posted by Charlie
Over the last few days, the map editor has received some loving care.
The most important change is a much requested feature - context sensitive tooltips. When you move the mouse over a tool button a popup will appear that explains what the tool does. And when you use the tool, say to draw a line, a hint will pop up telling you how to add an extra point, delete the last point, etc. Hopefully the hints will take a bit of the mystery out of the editor.
We also made it easier to select geometries on the map (lines, areas, rectangles, etc) by making them twice as thick. To avoid obscuring the underlying data, we then made them at 50% translucent. Last, a geometry will remain selected as long as the mouse is "close" to it - which we define as 10 pixels for the moment.