From: erg <devnull@localhost>
Date: Thu, 7 Oct 2010 19:49:09 +0000 (+0000)
Subject: Use alternative mechanism for changing menus to work on old Centos5 systems
X-Git-Tag: LAST_LIBGRAPH~32^2~1173
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=03af1b09f6bc63a2396866995fa5c0b297cd8fec;p=graphviz

Use alternative mechanism for changing menus to work on old Centos5 systems
---

diff --git a/cmd/smyrna/gui/menucallbacks.c b/cmd/smyrna/gui/menucallbacks.c
index 4d3d31618..d431f7592 100755
--- a/cmd/smyrna/gui/menucallbacks.c
+++ b/cmd/smyrna/gui/menucallbacks.c
@@ -182,13 +182,15 @@ void mShowConsoleSlot(GtkWidget * widget, gpointer user_data)
 	menui = (GtkMenuItem*)glade_xml_get_widget(xml, "show_console1");
 
     if (state) {
-	gtk_widget_hide(glade_xml_get_widget(xml, "vbox13"));
-	gtk_menu_item_set_label (menui, "Show Console");
+	gtk_widget_hide (glade_xml_get_widget(xml, "vbox13"));
+	gtk_widget_show (glade_xml_get_widget(xml, "show_console1"));
+	gtk_widget_hide (glade_xml_get_widget(xml, "hide_console1")); 
 	state = 0;
     }
     else {
-	gtk_widget_show(glade_xml_get_widget(xml, "vbox13"));
-	gtk_menu_item_set_label (menui, "Hide Console");
+	gtk_widget_show (glade_xml_get_widget(xml, "vbox13"));
+	gtk_widget_hide (glade_xml_get_widget(xml, "show_console1"));
+	gtk_widget_show (glade_xml_get_widget(xml, "hide_console1")); 
 	state = 1;
     }
 }
diff --git a/share/gui/smyrna.glade b/share/gui/smyrna.glade
index 2a702a197..022f23e15 100755
--- a/share/gui/smyrna.glade
+++ b/share/gui/smyrna.glade
@@ -144,6 +144,14 @@
 			  <signal name="activate" handler="mShowConsoleSlot" last_modification_time="Wed, 22 Jul 2009 16:17:32 GMT"/>
 			</widget>
 		      </child>
+		      <child>
+			<widget class="GtkMenuItem" id="hide_console1">
+			  <property name="visible">False</property>
+			  <property name="label" translatable="yes">Hide Console</property>
+			  <property name="use_underline">True</property>
+			  <signal name="activate" handler="mShowConsoleSlot" last_modification_time="Wed, 22 Jul 2009 16:17:32 GMT"/>
+			</widget>
+		      </child>
 
 		      <child>
 			<widget class="GtkMenuItem" id="view_selected_nodes1">