Changes since last version: - New zoom-in and zoom-out buttons - Fix to scrolling via scroll bar: base the next scroll increment on the actual current scroll location - Fix to panning: scale factor is now applied for the calculation of the new pan location