// opening some annotations
private void openAnnotatedGraphToolStripMenuItem_Click(object sender, EventArgs e)
{
AnnotationFiles.openAnnotatedGraph();
}
// saving the annotations
private void saveAnnotationsToolStripMenuItem_Click(object sender, EventArgs e)
{
AnnotationFiles.saveAnnotatedGraph();
}