infoDisplay.getFont().dispose(); input.getFont().dispose();
	public void dispose() {		// If these were loaded from the PreferenceLoader, is this necessary? 		infoDisplay.getFont().dispose();		input.getFont().dispose();		infoDisplay.getBackground().dispose();		infoDisplay.getForeground().dispose();		input.getBackground().dispose();		input.getForeground().dispose();		highlightColor.dispose();	}