forceRedraw = true; getWorkspacePanel().repaint();
forceRedraw = true; redrawRequest = true;
public void repaint() {	// set clip to x0, y0, width, height !!!?	forceRedraw = true;		getWorkspacePanel().repaint();}