Bug 80689 [Preferences] API to switch property/preference pages
20041210 On property pages for projects, I have now a similar structure as in the general preferences. I would also like to offer links and switch to pages. -> Property Page dialog should also get a history
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/dialogs/IDEEditorsPreferencePage.java
Collections.sort(encodings);
		encodingEditor.loadDefault();
		super.performDefaults();
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.internal.dialogs.EditorsPreferencePage#updateValidState()
	 */
	protected void updateValidState() {
		if (!encodingEditor.isValid()) {
			setValid(false);
			return;
		}
		
		
		super.updateValidState();
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.internal.dialogs.FileEditorsPreferencePage#performOk()
	 */
	public boolean performOk() {
		if (clearUserSettings)
			IDEEncoding.clearUserEncodings();
		encodingEditor.store();
		return super.performOk();
	}
}