private void initializeSelectListener() {
SelectHelper.elementsToBeSelected.addListener(new ListChangeListener<Nearable>() {
@Override
public void onChanged(final Change<? extends Nearable> c) {
while (c.next()) {
if (c.getAddedSize() == 0) return;
for (final Nearable nearable : SelectHelper.elementsToBeSelected) {
if (nearable instanceof Edge) {
if (nearable.equals(getEdge())) {
SelectHelper.addToSelection(EdgeController.this);
break;
}
}
}
}
}
});
}
EdgeController.java 文件源码
java
阅读 27
收藏 0
点赞 0
评论 0
项目:H-Uppaal
作者:
评论列表
文章目录