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";
}
}