code: function(){
  		var viewWidth=$("#svgroot").attr("width");
  		var viewHeight=$("#svgroot").attr("height");
  		var viewX=640;
  		var viewY=480;
  		
  		if(svgedit.browser.isIE())
  		{
  			//This has only been tested with Firefox 10 and IE 9 (without chrome frame).
  			//I am not sure if if is Firefox or IE that is being non compliant here.
  			//Either way the one that is noncompliant may become more compliant later.
  			//TAG:HACK  
  			//TAG:VERSION_DEPENDENT
  			//TAG:BROWSER_SNIFFING
  			viewX=0;
  			viewY=0;
  		}
  		
  		var svgWidth_old=$("#overviewMiniView").attr("width");
  		var svgHeight_new=viewHeight/viewWidth*svgWidth_old;
  		$("#overviewMiniView").attr("viewBox",viewX+" "+viewY+" "+viewWidth+" "+viewHeight);
  		$("#overviewMiniView").attr("height",svgHeight_new);
  		updateViewBox();
  	}
docs: comphensate for changes in zoom and canvas size