Zoom

[cwerling]

We agreed to use a solution were the front-end internally translates grid coordinates to pixel coordinates for drawing. A custom zoom function would then just influence this re-calculation. A first quick measurement shows that re-drawing the canvas after each zoom operation would be a reasonable solution for the viewport update. Care must be taken regarding node sizes, mirror texts and selectability of items.