/**
* Creates label provider for the elements in the list
*/
private ILabelProvider getListLabelProvider()
{
return new LabelProvider() {
public String getText(Object element)
{
if (element instanceof OpDefNode)
{
OpDefNode node = (OpDefNode) element;
if (node.getSource() == node)
{
return node.getName().toString();
} else
{
return node.getSource().getName().toString() + " ["
+ node.getSource().getOriginallyDefinedInModuleNode().getName().toString() + "]";
}
}
return super.getText(element);
}
};
}
FilteredDefinitionSelectionDialog.java 文件源码
java
阅读 27
收藏 0
点赞 0
评论 0
项目:tlaplus
作者:
评论列表
文章目录