Ext TabPanel鼠标在tab标签上滑动时切换tab示例

//定义一个id为tabpanel的TabPanel
Ext.getCmp('tabpanel').strip.dom.onmousemove = function(e) {
e = Ext.EventObject;
var t = Ext.getCmp('tabpanel');
var s = Ext.getCmp('tabpanel').strip;
var iel = e.getTarget('li', s);
var item = null;
if (iel) {
item = t.getComponent(iel.id.split(t.idDelimiter)[1]);
}
if (item && item != t.activeTab) {
t.setActiveTab(item);
}
}