paperlined.org
dev > web > greasemonkey
document updated 10 years ago, on Aug 12, 2014
To find the widget you want, don't use <div id>'s, instead use Ext.ComponentQuery. (or, for ExtJS v3.4, use Ext.ComponentMgr.get())