theJGraphPane.setDefaultEdgePainter(new LineEdgePainter(gray, gray, false));
}
public NodeFilter getNodeFilter() {
NodeFilter nodeFilter = new DefaultNodeFilter();
nodeFilter.addFilterable(SuperClassNode.class, true);
nodeFilter.addFilterable(SubClassNode.class, true);
nodeFilter.addFilterable(RelationNode.class, true);
nodeFilter.addFilterable(InstanceNode.class, true);
nodeFilter.addFilterable(InstanceOfNode.class, true);
nodeFilter.addFilterable(InitialNode.class, true);
nodeFilter.addFilterable(ActivateNode.class, true);
nodeFilter.addFilterable(ActivationNode.class, true);
nodeFilter.addFilterable(SpreadingNode.class, true);
nodeFilter.addFilterable(SpreadNode.class, true);
nodeFilter.addFilterable(PathNode.class, true);
return nodeFilter;
}