void OnDeleteNotebook (object sender, EventArgs args) { Notebooks.Notebook notebook = GetSelectedNotebook (); if (notebook == null) return; Notebooks.NotebookManager.PromptDeleteNotebook (this, notebook); }