public InfoButton(InfoPanel panel, string title)
{
this.panel = panel;
Label label = new Label ();
label.Markup = Utils.ParseMarkup (title);
label.Angle = 90;
this.Child = label;
this.Relief = ReliefStyle.None;
this.FocusOnClick = false;
this.CanFocus = false;
}
// adds an info panel to the info bar
private void addInfoPanel(InfoPanel panel, string title)
{
InfoButton button = new InfoButton (panel, title);
button.Clicked += tab_clicked;
tabs.Add (button);
button_box.PackStart (button, false, true, 0);
}