private void quitToolStripMenuItem_Click(object sender, EventArgs e) { //TODO: killing the editor correctly not implemented throw new NotImplementedException(); }