private IDoubleClickListener getDoubleClickListener() {
return new IDoubleClickListener() {
@Override
public void doubleClick(final DoubleClickEvent event) {
final IStructuredSelection selection = (IStructuredSelection) event.getSelection();
final Object firstElement = selection.getFirstElement();
if (MarkerPage.markTreeViewer.isExpandable(firstElement)) {
final boolean expanded = MarkerPage.markTreeViewer.getExpandedState(firstElement);
MarkerPage.markTreeViewer.setExpandedState(firstElement, !expanded);
} else {
MarkerWizard.this.performFinish();
MarkerWizard.this.getContainer().getShell().close();
}
}
};
}
MarkerWizard.java 文件源码
java
阅读 20
收藏 0
点赞 0
评论 0
项目:Tarski
作者:
评论列表
文章目录