canvas.paintImage(level, w, h); }
control.setMagFactor(level); canvas.paintImage(level, w, h); }
	private void zoom(double level)	{		ZoomBar zoomBar = view.toolBar.getZoomBar();		zoomBar.getManager().setText(level);		ZoomMenu zoomMenu = view.menuBar.getZoomMenu();		zoomMenu.getManager().setItemSelected(level);		int w = (int) (imageWidth*level)+2*ViewerUIF.START;        int h = (int) (imageHeight*level)+2*ViewerUIF.START;        control.setSizePaintedComponents(new Dimension(w, h));        canvas.paintImage(level, w, h);		}