(int)(view.getWidth()*navigatorView.getScale()-1),
(int)(view.getWidth()*navigatorView.getScale())-1,
private void drawNavigator(Graphics g) {	if (navigatorImage==null) return;	ViewState view = ViewState.getInstance();		// draw navigator image && position	copyNavigatorImage(g);	Rectangle currentClip = g.getClipBounds();		g.setClip(navigator.x, navigator.y, 		  	  navigator.width, navigator.height);		g.setColor(Color.red);	g.drawRect(navigatorRect.x,			   navigatorRect.y, 			   navigatorRect.width, 			   navigatorRect.height);	g.setColor(Color.blue);	g.drawRect(navigator.x,			   navigator.y, 			   (int)(view.getWidth()*navigatorView.getScale()-1), 			   (int)(view.getHeight()*navigatorView.getScale())-1);		// add lock rectangle if necessary	final int min = 8;	if ((navigatorRect.width<min) || 		(navigatorRect.height<min)) {		g.setColor(Color.lightGray);		g.drawRect(navigatorRect.x-min,				   navigatorRect.y-min, 				   navigatorRect.width+2*min, 				   navigatorRect.height+2*min);	}		g.setClip(currentClip);}