[gcmd-dev] Important menu bug!

[Martin Riarte]

Les adjunto un parche para solucionar un problema de manejo de menú con 
el que me tope.
A mí me funciona, pruebenlo, para agregarlo al projecto.
Lamento no escribir en ingles todavía, pronto corregiré esto.

Los saluda atentamente...

Martin Riarte
Programmer/System Analyst
address@hidden

--- gnome-commander-1.2.8.7/src/gnome-cmd-main-menu.cc  2010-07-27 
15:45:16.000000000 -0300
+++ gnome-commander-1.2.8.7/src/gnome-cmd-main-menu.cc.fix-view-menu-checks     
2010-08-04 12:38:27.000000000 -0300
@@ -829,16 +829,16 @@ static void init (GnomeCmdMainMenu *main
     main_menu->priv->help_menu = create_menu (main_menu, &spec, 
help_menu_uiinfo);
     gtk_menu_shell_append (GTK_MENU_SHELL (main_menu), 
main_menu->priv->help_menu);
 
-    main_menu->priv->menu_edit_paste = edit_menu_uiinfo[2].widget;
-    main_menu->priv->menu_view_toolbar = view_menu_uiinfo[7].widget;
-    main_menu->priv->menu_view_conbuttons = view_menu_uiinfo[8].widget;
-    main_menu->priv->menu_view_concombo = view_menu_uiinfo[9].widget;
-    main_menu->priv->menu_view_cmdline = view_menu_uiinfo[10].widget;
-    main_menu->priv->menu_view_buttonbar = view_menu_uiinfo[11].widget;
-    main_menu->priv->menu_view_hidden_files = view_menu_uiinfo[13].widget;
-    main_menu->priv->menu_view_backup_files = view_menu_uiinfo[14].widget;
     main_menu->priv->menu_view_back = view_menu_uiinfo[0].widget;
     main_menu->priv->menu_view_forward = view_menu_uiinfo[1].widget;
+    main_menu->priv->menu_edit_paste = edit_menu_uiinfo[2].widget;
+    main_menu->priv->menu_view_toolbar = view_menu_uiinfo[4].widget;       // 
originally 7,  should be 3
+    main_menu->priv->menu_view_conbuttons = view_menu_uiinfo[5].widget;    // 
originally 8,  should be 4
+    main_menu->priv->menu_view_concombo = view_menu_uiinfo[6].widget;      // 
originally 9,  should be 5
+    main_menu->priv->menu_view_cmdline = view_menu_uiinfo[7].widget;       // 
originally 10, should be 6
+    main_menu->priv->menu_view_buttonbar = view_menu_uiinfo[8].widget;     // 
originally 11, should be 7
+    main_menu->priv->menu_view_hidden_files = view_menu_uiinfo[10].widget; // 
originally 13, should be 8
+    main_menu->priv->menu_view_backup_files = view_menu_uiinfo[11].widget; // 
originally 14, should be 9
 
     gtk_check_menu_item_set_active (
         GTK_CHECK_MENU_ITEM (main_menu->priv->menu_view_toolbar),
@@ -850,12 +850,12 @@ static void init (GnomeCmdMainMenu *main
         GTK_CHECK_MENU_ITEM (main_menu->priv->menu_view_concombo),
         gnome_cmd_data.concombo_visibility);
     gtk_check_menu_item_set_active (
-        GTK_CHECK_MENU_ITEM (main_menu->priv->menu_view_buttonbar),
-        gnome_cmd_data.buttonbar_visibility);
-    gtk_check_menu_item_set_active (
         GTK_CHECK_MENU_ITEM (main_menu->priv->menu_view_cmdline),
         gnome_cmd_data.cmdline_visibility);
     gtk_check_menu_item_set_active (
+        GTK_CHECK_MENU_ITEM (main_menu->priv->menu_view_buttonbar),
+        gnome_cmd_data.buttonbar_visibility);
+    gtk_check_menu_item_set_active (
         GTK_CHECK_MENU_ITEM (main_menu->priv->menu_view_hidden_files),
         !gnome_cmd_data.filter_settings.hidden);
     gtk_check_menu_item_set_active (