X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.glade;h=64cdeabec3c43f5901fc48139fd0eb185cfcdcac;hb=fe3a0a8896cc9f099196f0d0228bb0cfa688c34a;hp=c27eef445283e8527d6439375d326f8af8d93c70;hpb=9491a8bd354152d3a228e1bf041c7ad6228750d7;p=pspp

diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index c27eef4452..64cdeabec3 100644
--- a/src/ui/gui/syntax-editor.glade
+++ b/src/ui/gui/syntax-editor.glade
@@ -86,7 +86,6 @@
 			      <property name="visible">True</property>
 			      <property name="label" translatable="yes">_Syntax</property>
 			      <property name="use_underline">True</property>
-			      <signal name="activate" handler="on_syntax4_activate" last_modification_time="Tue, 05 Dec 2006 01:43:21 GMT"/>
 			    </widget>
 			  </child>
 
@@ -233,7 +232,6 @@
 	      <property name="visible">True</property>
 	      <property name="label" translatable="yes">_Windows</property>
 	      <property name="use_underline">True</property>
-	      <signal name="activate" handler="on_windows_activate" last_modification_time="Thu, 28 Dec 2006 00:31:09 GMT"/>
 
 	      <child>
 		<widget class="GtkMenu" id="windows_menu">