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