親ページが変更されたときに子ページを更新する方法を教えてください。
...子設定ページの createContents() では、これで親への変更をリッスンしています:
ParentPlugin.getDefault()
.getPreferenceStore()
.addPropertyChangeListener(new IPropertyChangeListener()
{
public void propertyChange(PropertyChangeEvent event)
{
//REFRESH CHILD PLUGIN
};
});