menubar_set_color  236 lib/widget/menu.c         menubar_set_color (menubar, is_selected, FALSE);
menubar_set_color  244 lib/widget/menu.c             menubar_set_color (menubar, is_selected, TRUE);
menubar_set_color  246 lib/widget/menu.c             menubar_set_color (menubar, is_selected, FALSE);