if (isAllUndocked()) setSelectedIndex(view.getIndex());
setSelectedIndex(view.getIndex()); allUndocked = false;
		public void windowClosing(WindowEvent evt) {			UndockedView view = (UndockedView) evt.getComponent();			JComponent basicView = view.getViewComponent();			JSplitPane splitPane = ((BasicView)basicView).getSplitPane();			splitPane.setDividerLocation(Integer.MAX_VALUE);			setComponentAt(view.getIndex(), basicView);			setEnabledAt(view.getIndex(), true);			if (isAllUndocked())				setSelectedIndex(view.getIndex());		}