我開發了一個基於GEF的eclipse插件。當我更改屬性時,我需要關閉所有文件並手動打開它們。 如何在更改屬性後刷新插件的實例?屬性更改後Eclipse插件刷新
public class MyPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage {
public MyPreferencePage() {
super(GRID);
}
public void createFieldEditors() {
addField(new StringFieldEditor(PreferenceConstants.MY_CONF,
"Label", getFieldEditorParent()));
}
public void init(IWorkbench workbench) {
setPreferenceStoreMyEditorPlugin.getDefault().getPreferenceStore());
}
@Override
public boolean performOk() {
boolean res = super.performOk();
// Validated input
// I think I have to refresh the config here
return res;
}
}
更改什麼類型的屬性?使用什麼API? –
我通過IWorkbenchPreferencePage更改插件屬性。 –
那麼你是否將值存儲在插件首選項中?向我們顯示保存該值的代碼。 –