private synchronized void setRotationEnabled(boolean b) {
		if (b) {
			if (!hasJmolMouseMotionListener())
				addMouseMotionListener(jmolMouseMotionListener);
		}
		else {
			removeMouseMotionListener(jmolMouseMotionListener);
		}
	}