MultiPageEditor
私はEclipseで作業しています。エディタのページ数は可変です。各ページには が表示されますJTree
。私は自分のJtree
魔女に を実装させましたISelectionProvider
。リーフを選択すると、リーフに関する情報が [プロパティ] ビューに表示されます。
ループによって生成されるエディタ ページ、すべての JTree が ArrayList に保存されます。次のように ServiceProvider を追加すると:
getSite().setSelectionProvider(trees.get(0));
できます。しかし、ページを変更するときに ServiceProvider を変更すると:
@Override
protected void pageChange(int newPageIndex) {
if (newPageIndex != 0)
{
getSite().setSelectionProvider(trees.get(newPageIndex-1));
}
}
何も機能しません。
SelectionProvider
アクティブな EditorPage に基づいて動的に変更するにはどうすればよいですか?