X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=2e2ef874e12af0bd0aa4fabd8ce8ce7f611b517e;hb=1b21075e987872a2e3103203b4e67c939e4a9f6a;hp=57ce4006ade69392ff95e4dadc0c8ab7f4fc0dbc;hpb=de4483296d06aac3df4da10d5401b1f97c4350ab;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 57ce4006a..2e2ef874e 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -979,8 +979,6 @@ Copyright (C) 2005,
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
- 800
- 600
True
False
True
@@ -1263,7 +1261,7 @@ Copyright (C) 2005,
True
Intros
True
- intros
+ intro
True
GTK_RELIEF_NORMAL
True
@@ -1840,12 +1838,12 @@ Copyright (C) 2005,
-
+
True
True
-
+
400
True
False
@@ -1869,10 +1867,11 @@ Copyright (C) 2005,
True
- restart
+ restart (Home)
True
GTK_RELIEF_NONE
True
+
@@ -1904,10 +1903,11 @@ Copyright (C) 2005,
True
- go back 1 phrase
+ go back 1 phrase (Page Up)
True
GTK_RELIEF_NONE
True
+
@@ -1974,10 +1974,11 @@ Copyright (C) 2005,
True
- go forward 1 phrase
+ go forward 1 phrase (Page Down)
True
GTK_RELIEF_NONE
True
+
@@ -2009,10 +2010,11 @@ Copyright (C) 2005,
True
- execute all
+ execute all (End)
True
GTK_RELIEF_NONE
True
+
@@ -2042,7 +2044,7 @@ Copyright (C) 2005,
-
+
True
True
True
@@ -2165,11 +2167,11 @@ Copyright (C) 2005,
- 450
+ 250
500
True
True
- 450
+ 380