setPartName(key.getTitleCache());
- viewer.setInput(key);
+ viewer.setInput(getEditorInput());
}
public int getTableItemCount() {
if (element instanceof PolytomousKeyNode) {
List<PolytomousKeyNode> children = ((PolytomousKeyNode) element)
.getParent().getChildren();
+ viewer.update(((PolytomousKeyNode) element)
+ .getParent(), null);
for (PolytomousKeyNode child : children) {
viewer.update(child, null);
}
}
+
}
/* (non-Javadoc)