public void componentResized(final ComponentEvent arg0){
  workspace.setWorkspaceChanged(true);
}

public void componentResized ( final ComponentEvent arg0 ) { workspace . setWorkspaceChanged ( true ) ; }
responds to component resized events .
