SMART datagrid v.1 > Classes > GridHeader
trueならユーザーがヘッダーの下の方の境界線の左側をマウスでドラッグして ヘッダーの高さを変更することができる。 minHeightより小さく変更することはできない。
デフォルト値はfalse.
$('#resizable').click = function (ev) { grid.header().setResizable(ev.target.checked); };