<script type="text/javascript">
// convert html textareas into resizable textareas
function makeResizable(){
  var els=Ext.select("textarea",true);
  els.each(function(el){
    var dwrapped = new Ext.Resizable(el, {
        wrap:true,
        pinned:true,
        //handles: 's',
        width:el.getWidth(),
        height:el.getHeight(),
        minWidth:el.getWidth(),
        minHeight: el.getHeight()
    });
  })
}
    
Ext.onReady(function() {
  makeResizable();
});
</script>