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())