2003-07-02  Mark McLoughlin  <mark@skynet.ie>

        * panel-stock-icons.[ch]: add a new stock id "panel-main-menu"
        pointing to the gnome-main-menu icon to allow the main menu
        icon to be themed seperately from the GNOME logo.

        * menu.c: (make_add_submenu):
        * panel-menu-button.c: (panel_menu_button_instance_init),
        (panel_menu_button_set_icon), (panel_menu_button_set_dnd_enabled):
        Use PANEL_STOCK_MAIN_MENU.

2003-07-02  Mark McLoughlin  <mark@skynet.ie>

        * icons/Makefile.am:
        * icons/gnome-main-menu.png: install an icon for
        gnome-main-menu. Same icon as gnome-logo-icon-transparent
        by default.