void HandleFindAddTagWith (object sender, EventArgs args)
{
MenuItem find_add_tag_with = uimanager.GetWidget ("/ui/menubar1/find/find_add_tag_with") as MenuItem;
if (find_add_tag_with.Submenu != null)
find_add_tag_with.Submenu.Dispose ();
Gtk.Menu submenu = TermMenuItem.GetSubmenu (tag_selection_widget.TagHighlight);
find_add_tag_with.Sensitive = (submenu != null);
if (submenu != null)
find_add_tag_with.Submenu = submenu;
}