docs: function()
  	{
  		var string = '';
  		
  		for (var i = 0; i < arguments.length; i++)
  		{
  			string += arguments[i];
  			
  			if (i < arguments.length - 1)
  			{
  				string += ' ';
  			}
  		}
  		
  		if (mxLog.textarea != null)
  		{
  			mxLog.textarea.value = mxLog.textarea.value + string;
  
  			// Workaround for no update in Presto 2.5.22 (Opera 10.5)
  			if (navigator.userAgent.indexOf('Presto/2.5') >= 0)
  			{
  				mxLog.textarea.style.visibility = 'hidden';
  				mxLog.textarea.style.visibility = 'visible';
  			}
  			
  			mxLog.textarea.scrollTop = mxLog.textarea.scrollHeight;
  		}
  		else
  		{
  			mxLog.buffer += string;
  		}
  	}