[Rails-devel] Map zoom

[Erik V. <eri...@xs...>]

I have made the map "zoomable" via a new Zoom menu in the Map/OR window.
This implements Feature Request #2900763.
Zoom in/out goes in steps of 2**0.25 (so 4 zoom-ins double the size).
Zooming is actually done by redrawing the whole map. 
There seem to be better ways, but this is the one I understand
(and it wasn't too hard to do).

The result isn't perfect, but (hopefully) bearable.

However, zooming in still doesn't much help to improve the visibility 
of some of the tile details: revenue and tile number, 
which are really tiny. 
I think this partially comes from these details being configured 
too small in TileDesigner; I have sent Brett a new version with 
larger fonts, hoping that he can do something with it.
But I also think something has gone wrong in the conversion to SVG,
because the revenue circles have flattened to ovals.

Anyway. I have also uploaded new SVG versions of the preprinted
off-board tiles -901 through -903, which now show pointy triangles 
like on the game boards. I have edited these SVG files with Inkscape.

Erik.