gnome-terminal menubars not hidden on startup

[Charles Dale <chuckd sydney net>]

(This started off as a bug report to submit@bugs.gnome.org, but then I
think I found the problem)

Package: gnome-core
Version: 0.99.7-3

Hide the menubar, quit gnome-terminal, then start a new terminal. There
will be a menubar on the new terminal, but right clicking on the
terminal provides the "Show Menubar" option which obviously then does
nothing. 

Problem appears to be here in gnome-terminal.c:

gtk_widget_show (app);

/*
* We need to hide this here, because the gnome_app_show
* method will force a show on the menu
*/
if (cfg->menubar_hidden)
        gtk_widget_hide (GNOME_APP (app)->menubar->parent);

that last line should possibly just be
gtk_widget_hide (app->menubar->parent);

Sorry, just have RPMs installed here, reading off the web CVS so haven't
tried it.

Chuck