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