Danke!
Bin mit NoSquint auch über 300% gekommen (allerdings mühsam mit 1%-Schritten)
Die toolkit.zoomManager.zoomValues - Methode gefällt mit fast besser, wobei es natürlich nett wäre, wenn mensch einen bestimmten Wert (aus der Liste) gleich direkt anklicken könnte und sich nicht durch alle vorigen (mit STRG_+) durcharbeiten muss, und eine Anzeige der aktuellen Zoom-Stufe hätt' auch was.