我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 动态更改?