X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=7ae1860d5361cc2793561748f6d09e7806b40496;hb=292798b0303eb7f580d73b68fce708289645d97d;hp=c0c4862a3466c27378086ace0e1b9e46ed992bfa;hpb=e15511011153b6e83a53e26814d711a8456d4ebf;p=helm.git

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index c0c4862a3..7ae1860d5 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -1871,7 +1871,7 @@ Copyright (C) 2005,
 				  <property name="can_focus">True</property>
 				  <property name="relief">GTK_RELIEF_NONE</property>
 				  <property name="focus_on_click">True</property>
-				  <accelerator key="Home" modifiers="0" signal="clicked"/>
+				  <accelerator key="Home" modifiers="GDK_CONTROL_MASK" signal="clicked"/>
 
 				  <child>
 				    <widget class="GtkImage" id="image253">
@@ -1907,7 +1907,7 @@ Copyright (C) 2005,
 				  <property name="can_focus">True</property>
 				  <property name="relief">GTK_RELIEF_NONE</property>
 				  <property name="focus_on_click">True</property>
-				  <accelerator key="Page_Up" modifiers="0" signal="clicked"/>
+				  <accelerator key="Page_Up" modifiers="GDK_CONTROL_MASK" signal="clicked"/>
 
 				  <child>
 				    <widget class="GtkImage" id="image254">
@@ -1978,7 +1978,7 @@ Copyright (C) 2005,
 				  <property name="can_focus">True</property>
 				  <property name="relief">GTK_RELIEF_NONE</property>
 				  <property name="focus_on_click">True</property>
-				  <accelerator key="Page_Down" modifiers="0" signal="clicked"/>
+				  <accelerator key="Page_Down" modifiers="GDK_CONTROL_MASK" signal="clicked"/>
 
 				  <child>
 				    <widget class="GtkImage" id="image256">
@@ -2014,7 +2014,7 @@ Copyright (C) 2005,
 				  <property name="can_focus">True</property>
 				  <property name="relief">GTK_RELIEF_NONE</property>
 				  <property name="focus_on_click">True</property>
-				  <accelerator key="End" modifiers="0" signal="clicked"/>
+				  <accelerator key="End" modifiers="GDK_CONTROL_MASK" signal="clicked"/>
 
 				  <child>
 				    <widget class="GtkImage" id="image257">