private void onNewGraphClick(object sender, EventArgs e)
{
string graphName = "Graph " + graphCounter;
Graph newGraph = app.NewGraph(graphName);
newGraph.ShowEdgeLabels = true;
makeNewGraphPanel(newGraph);
}
