+ changed |= ((DistrictNetworkVertexNode) node).hover(hover, isConnectionTool);
+ if (hover)
+ ((DistrictNetworkVertexNode) node).setMousePosition(p);
+ } else {
+ node = elem.getHint(DistrictNetworkEdgeElement.KEY_DN_EDGE_NODE);
+ if (node instanceof DistrictNetworkEdgeNode) {
+ for (IG2DNode n : ((DistrictNetworkEdgeNode) node).getNodes()) {
+ if (n instanceof HoverSensitiveNode) {
+ changed |= ((HoverSensitiveNode)n).hover(hover, isConnectionTool);
+ if (hover)
+ ((HoverSensitiveNode)n).setMousePosition(p);
+ }
+ }