GeoExt.ZoomSlider

The ZoomSlider allows control of the map scale using an Ext.Slider. It is also possible to add a special tooltip plugin, ZoomSliderTip, which will show the zoom level, scale and resolution while dragging the slider (the content is configurable).

The js is not minified so it is readable. See zoomslider.js.