X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=2e2ef874e12af0bd0aa4fabd8ce8ce7f611b517e;hb=72e4059f7141d5cdf573e470e9858a0e68d6fceb;hp=0f5c8d7642764fc6bb37d3bc66c78e0d67e4b218;hpb=051722c687354888aebfefb1c5759e1a7fc224ab;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 0f5c8d764..2e2ef874e 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -1261,7 +1261,7 @@ Copyright (C) 2005,
True
Intros
True
- intros
+ intro
True
GTK_RELIEF_NORMAL
True
@@ -1838,12 +1838,12 @@ Copyright (C) 2005,
-
+
True
True
-
+
400
True
False
@@ -1867,10 +1867,11 @@ Copyright (C) 2005,
True
- restart
+ restart (Home)
True
GTK_RELIEF_NONE
True
+
@@ -1902,10 +1903,11 @@ Copyright (C) 2005,
True
- go back 1 phrase
+ go back 1 phrase (Page Up)
True
GTK_RELIEF_NONE
True
+
@@ -1972,10 +1974,11 @@ Copyright (C) 2005,
True
- go forward 1 phrase
+ go forward 1 phrase (Page Down)
True
GTK_RELIEF_NONE
True
+
@@ -2007,10 +2010,11 @@ Copyright (C) 2005,
True
- execute all
+ execute all (End)
True
GTK_RELIEF_NONE
True
+
@@ -2040,7 +2044,7 @@ Copyright (C) 2005,
-
+
True
True
True