[gnome-commander] src/gnome-cmd-main-menu.cc: Fix for -Wswitch-enum

[Uwe Scholz <uwescholz src gnome org>]

commit 4ceb1866d599dd47488b49eafd697e7c55034435
Author: Uwe Scholz <uwescholz src gnome org>
Date:   Sun Apr 23 13:29:03 2017 +0200

    src/gnome-cmd-main-menu.cc: Fix for -Wswitch-enum

 src/gnome-cmd-main-menu.cc |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-cmd-main-menu.cc b/src/gnome-cmd-main-menu.cc
index 974e144..477ae3e 100644
--- a/src/gnome-cmd-main-menu.cc
+++ b/src/gnome-cmd-main-menu.cc
@@ -149,6 +149,10 @@ static GtkWidget *create_menu_item (GnomeCmdMainMenu *main_menu, GtkMenu *parent
     GtkWidget *shortcut=NULL;
     GtkWidget *content = NULL;
 
+#if defined (__GNUC__)
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wswitch-enum"
+#endif
     switch (spec->type)
     {
         case MENU_TYPE_BASIC:
@@ -214,6 +218,9 @@ static GtkWidget *create_menu_item (GnomeCmdMainMenu *main_menu, GtkMenu *parent
             g_warning ("This MENU_TYPE is not implemented");
             return NULL;
     }
+#if defined (__GNUC__)
+#pragma GCC diagnostic pop
+#endif
 
     gtk_widget_show (item);