public void menuSelected(MenuEvent e) {
				miDetach.setEnabled(view.getCameraAtom() >= 0);
				ModelerUtilities.setWithoutNotifyingListeners(miGlassBox, view.getShowGlassSimulationBox());
				ModelerUtilities.setWithoutNotifyingListeners(miSpin, view.isSpinOn());
				boolean b = view.getViewer().getNavigationMode();
				ModelerUtilities.setWithoutNotifyingListeners(miNavigation, b);
				zDepthMenu.setEnabled(b);
				if (b) {
					switch (view.getViewer().getZDepthMagnification()) {
					case 1:
						ModelerUtilities.setWithoutNotifyingListeners(miOne, true);
						break;
					case 5:
						ModelerUtilities.setWithoutNotifyingListeners(miFive, true);
						break;
					case 10:
						ModelerUtilities.setWithoutNotifyingListeners(miTen, true);
						break;
					}
				}
			}