protected void editSelectAll() { gp.getSelection().addNodes(graph.getNodes()); gp.getSelection().addEdges(graph.getEdges()); gp.repaint(); }