private void currNotebookButton_CheckedChanged(object sender, EventArgs e) { var element = manager.CurrentNotebook(); if (element != null) { var xml = element.ToString(SaveOptions.None); hierBox.Text = xml; } else { hierBox.Text = "Cannot get current notebook hierarchy"; } }