485486487488489490491492493494495
private void fireWorkspaceSwitching() { for( Iterator<WorkspaceListener> iter = listeners.iterator(); iter.hasNext(); ) { WorkspaceListener listener = iter.next(); listener.workspaceSwitching( this ); } } private void fireWorkspaceSwitched() {