/// <summary>
 /// Notifications coming in from the notification center.
 /// </summary>
 /// <param name="name">The name of the notification. We only get called for notifications we want.</param>
 /// <param name="sender">The object that caused the notification to be sent.</param>
 /// <param name="info">Name/Value string pairs for data to be passed.</param>
 public void HandleNotification(string name, IntPtr sender, Dictionary <string, string> info)
 {
     if (name == "GNFormTitleDidChange" && info["form"] == formBE.form_id())
     {
         TabText = info["title"];
     }
 }