Use a single GtkUIManager to library_tree menu.