configEditor.setText( origConfig != null ? origConfig : getDefaultConfig() );
configEditor.setEnabled( prefs.getProjectSpecific() );
}
private boolean storePrefs() throws CoreException {
OptionsPreferences prefs = new OptionsPreferences( getPreferences() );
prefs.setProjectSpecific( projectSpecificCheckbox.getSelection() );
boolean changed = prefs.hasChanged();
if( changed ) {
savePreferences();
}
return changed;
}