/*!
- * Ext JS Library 3.0.0
- * Copyright(c) 2006-2009 Ext JS, LLC
+ * Ext JS Library 3.1.1
+ * Copyright(c) 2006-2010 Ext JS, LLC
* licensing@extjs.com
* http://www.extjs.com/license
*/
log : function(){
var markup = [ '<div style="padding:5px !important;border-bottom:1px solid #ccc;">',
Ext.util.Format.htmlEncode(Array.prototype.join.call(arguments, ', ')).replace(/\n/g, '<br/>').replace(/\s/g, ' '),
- '</div>'].join('');
+ '</div>'].join(''),
+ bd = this.body.dom;
this.body.insertHtml('beforeend', markup);
- this.body.scrollTo('top', 100000);
+ bd.scrollTop = bd.scrollHeight;
},
clear : function(){