void UpdateHelp()
{
if (!ShowHelp)
return;
descTextView.Buffer.Clear ();
if (descText != null)
descTextView.Buffer.InsertAtCursor (descText);
descTitleLabel.Markup = descTitle != null?
"<b>" + descTitle + "</b>" : string.Empty;
}