/*!
- * Ext JS Library 3.1.0
- * Copyright(c) 2006-2009 Ext JS, LLC
+ * Ext JS Library 3.3.0
+ * Copyright(c) 2006-2010 Ext JS, Inc.
* licensing@extjs.com
* http://www.extjs.com/license
*/
width: 200,
style: 'margin-right:20px;',
value: sliderValue,
- plugins: new Ext.ux.SliderTip({
+ plugins: new Ext.slider.Tip({
getText: function(slider){
return String.format('<b>{0}%</b>', 100+slider.getValue()*3);
}