public void setDisplayStyle(byte i) {
		if (i == styleManager.getStyle())
			return;
		styleManager.setStyle(i);
		if (useJmol && jmolRenderer != null)
			jmolRenderer.setDisplayStyle(i);
		model.notifyChange();
	}