摘要：
最近需要做一个滑动条，动态改变地图动画播放的速度。实在没有自己用js写一个的那个水平，于是找到了Ext.Slider，ExtJS的版本是3.3.0。new Ext.Slider({id: 'playstep',width: 100, //进度条长度increment: 1,minValue: 1,maxValue: 6,clickToChange: true, //允许单击改变进度值 plugins: new Ext.slider.Tip({getText: function (thumb) {return String.format('每秒播放{0}点', t 阅读全文
