code: function mxDivResizer(div, container)
  {
  	if (div.nodeName.toLowerCase() == 'div')
  	{
  		if (container == null)
  		{
  			container = window;
  		}
  
  		this.div = div;
  		var style = mxUtils.getCurrentStyle(div);
  		
  		if (style != null)
  		{
  			this.resizeWidth = style.width == 'auto';
  			this.resizeHeight = style.height == 'auto';
  		}
  		
  		mxEvent.addListener(container, 'resize',
  			mxUtils.bind(this, function(evt)
  			{
  				if (!this.handlingResize)
  				{
  					this.handlingResize = true;
  					this.resize();
  					this.handlingResize = false;
  				}
  			})
  		);
  		
  		this.resize();
  	}
  }
docs: Copyright (c) 2006-2015, JGraph Ltd
  Copyright (c) 2006-2015, Gaudenz Alder
   
  Class: mxDivResizer
  
  Maintains the size of a div element in Internet Explorer. This is a
  workaround for the right and bottom style being ignored in IE.
  
  If you need a div to cover the scrollwidth and -height of a document,
  then you can use this class as follows:
  
  (code)
  var resizer = new mxDivResizer(background);
  resizer.getDocumentHeight = function()
  {
  return document.body.scrollHeight;
  }
  resizer.getDocumentWidth = function()
  {
  return document.body.scrollWidth;
  }
  resizer.resize();
  (end)
  
  Constructor: mxDivResizer
  
  Constructs an object that maintains the size of a div
  element when the window is being resized. This is only
  required for Internet Explorer as it ignores the respective
  stylesheet information for DIV elements.
  
  Parameters:
  
  div - Reference to the DOM node whose size should be maintained.
  container - Optional Container that contains the div. Default is the
  window.