Description Al W 2009-03-07 16:41:05 EST

Build ID: M20080911-1700

Steps To Reproduce:
1. In one preference page restore all preferences to their defaults (see code below)
2. call performDefaults() on the current page to reset fields
3. Go look at another preference page
4. The modified values are still showing, the fields haven't been restored to default.

Perhaps switching preference pages should reread the preferences from the preference store thus fixing this.



More information:
Button resetPreferences = new Button(getFieldEditorParent(), SWT.PUSH);
resetPreferences.setText("Reset All Preferences");

final GeneralPreferencePage gpp = this;

resetPreferences.addSelectionListener(new SelectionAdapter(){
	public void widgetSelected(SelectionEvent e) {
		ResetPreferencesAction rpa = new ResetPreferencesAction(null, "Reset All Preferences");
		rpa.run();
		gpp.performDefaults();
	}
	
});