mxGraphView.prototype.redrawBackgroundImage=function(a,b){a.scale=this.scale;a.bounds.x=this.scale*(this.translate.x+b.x);a.bounds.y=this.scale*(this.translate.y+b.y);a.bounds.width=this.scale*b.width;a.bounds.height=this.scale*b.height;a.redraw()};