docs: function() {
  			if (!gui.hosted) {
  				clearTimeout(this._timeout);
  				this._timeout = setTimeout(function() {
  					gui.broadcastGlobal(gui.BROADCAST_RESIZE_END);
  				}, gui.TIMEOUT_RESIZE_END);
  			}
  		}