ExtでDOM要素をhighlightする
Ext.get() で取得した Ext.Element のオブジェクトに直接highlight() メソッドが実装されているのでこれを呼び出す。
div1 というidが割り当ててある要素がある場合は以下のように使う。
function highlight_test() { Ext.get('div1').highlight(); }
Ext.get()で取得できるオブジェクトはdocument.getElementById() で取得したオブジェクトとは別なもの。