geoext/geoext2 — pull request #52 by chrismayer (2012-05-08 15:44:24+00:00)
Title: Adapted the example, because the SliderTip plugin can be used for every ...

...kind of slider.