/** * render the groups defined in the group attribute * * @param gl * @param nr * @param net * @param fonttype */ public void renderGroups(GL gl, GraphRenderer nr, Net net, int fonttype) { for (String n : net.groups.keySet()) { Net group = net.groups.get(n); Node center = group.hasNode(n); nr.renderGroups(gl, group.nNodes, center); // nr.renderNode(gl, center); // // for (Node eref: group.nNodes) { // nr.renderNode(gl, eref); // nr.renderNodeLabels(gl, eref, 2, false); // } // // for (Edge eref: group.nEdges) { // nr.renderEdges(gl, eref); // } } }