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