Adding a Pan Tool and a Zoom Tool

The zoomTool component shows a set of buttons. Each button corresponds to a zoom level; clicking the button zooms the view to this zoom level. The button corresponding to the current zoom level is visually different from others so that you can tell what the current zoom level is. The component can be vertical or horizontal.
The panTool component is a component that allows you to pan the view in all directions.
The connection to the view is done by setting the identifier of the view to the viewId property of the tools.
<jvdf:diagrammerView id="diagrammer" [...] />
<jvf:panTool viewId="diagrammer" [...] />
<jvf:zoomTool viewId="diagrammer" [...] />