X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=728a871120742d9617cc94fa147563cad8615e96;hb=7deafec4fd4b2eebf4d4061f21ee5c47bd15b062;hp=fd460dd24b1161771c6ecb19a0d050efa2fe7649;hpb=92b20571ab97c7d662304926c113fc42292b4435;p=helm.git diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index fd460dd24..728a87112 100644 --- a/helm/matita/matita.glade +++ b/helm/matita/matita.glade @@ -413,44 +413,6 @@ - - Matita: current proof - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - 700 - 525 - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_NORMAL - GDK_GRAVITY_NORTH_WEST - - - - True - True - False - - - - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT - - - - - - - - - - 10 Select File @@ -1821,45 +1783,6 @@ Copyright (C) 2004, - - 300 - 200 - Matita: check term - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_NORMAL - GDK_GRAVITY_NORTH_WEST - - - - True - True - False - - - - True - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT - - - - - - - - - - Matita: script GTK_WINDOW_TOPLEVEL @@ -1882,140 +1805,177 @@ Copyright (C) 2004, False - + True - True - True - True - GTK_POS_BOTTOM - False - False + False + 0 - + True - False - 0 + GTK_SHADOW_OUT + GTK_POS_LEFT + GTK_POS_TOP - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + False + 0 - + True - True - True - False + restart + True + GTK_RELIEF_NORMAL + True - + True - go back 1 phrase - True - GTK_RELIEF_NORMAL - True - - - - True - gtk-go-back - 4 - 0.5 - 0.5 - 0 - 0 - - + gtk-goto-top + 4 + 0.5 + 0.5 + 0 + 0 + 0 False - False + False - + True - True - True - False + go back 1 phrase + True + GTK_RELIEF_NORMAL + True - + True - execute til cursor - True - GTK_RELIEF_NORMAL - True + gtk-undo + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + - - - True - gtk-jump-to - 4 - 0.5 - 0.5 - 0 - 0 - - + + + True + execute until point + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-jump-to + 4 + 0.5 + 0.5 + 0 + 0 + 0 False - False + False - + True - True - True - False + go forward 1 phrase + True + GTK_RELIEF_NORMAL + True - + True - go forward 1 phrase - True - GTK_RELIEF_NORMAL - True + gtk-redo + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + - - - True - gtk-go-forward - 4 - 0.5 - 0.5 - 0 - 0 - - + + + True + execute all + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-goto-bottom + 4 + 0.5 + 0.5 + 0 + 0 + 0 False - False + False - - 0 - False - False - + + + 0 + False + True + + + + + + True + True + True + True + GTK_POS_BOTTOM + False + False @@ -2047,79 +2007,79 @@ Copyright (C) 2004, - 0 - True - True + False + True - - - False - True - - - - - True - script - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - tab - - - - - - True - True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT + + + True + script + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + tab + + - + True True - False - False - False - True + GTK_POLICY_ALWAYS + GTK_POLICY_ALWAYS + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + True + True + False + False + False + True + + + + False + True + - - - False - True - - - - - True - outline - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 + + + True + outline + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + tab + + - tab + 0 + True + True @@ -2276,228 +2236,243 @@ Copyright (C) 2004, 0 - + True - False - 0 + GTK_SHADOW_OUT + GTK_POS_LEFT + GTK_POS_TOP - + True - True - True - GTK_RELIEF_NORMAL - True + False + 0 - + True - gtk-new - 4 - 0.5 - 0.5 - 0 - 0 + new browser win + True + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-new + 4 + 0.5 + 0.5 + 0 + 0 + + + + 0 + False + False + - - - 0 - False - False - - - - - - True - True - True - GTK_RELIEF_NORMAL - True - + True - 0.5 - 0.5 - 0 - 0 - 0 - 0 - 0 - 0 + history back + True + True + GTK_RELIEF_NORMAL + True - + True - False - 2 + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 - + True - gtk-go-back - 4 - 0.5 - 0.5 - 0 - 0 - - - 0 - False - False - - + False + 2 - - - True - - True - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 + + + True + gtk-go-back + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + - - 0 - False - False - + + 0 + False + False + - - - 0 - False - False - - - - - - True - True - True - GTK_RELIEF_NORMAL - True - + True - gtk-go-forward - 4 - 0.5 - 0.5 - 0 - 0 + history forward + True + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-go-forward + 4 + 0.5 + 0.5 + 0 + 0 + + + + 0 + False + False + - - - 0 - False - False - - - - - - True - True - True - GTK_RELIEF_NORMAL - True - + True - gtk-refresh - 4 - 0.5 - 0.5 - 0 - 0 + refresh + True + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-refresh + 4 + 0.5 + 0.5 + 0 + 0 + + + + 0 + False + False + - - - 0 - False - False - - - - - True - True - True - GTK_RELIEF_NORMAL - True + + + True + home + True + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-home + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + False + False + + - + True - gtk-home + gtk-jump-to 4 0.5 0.5 0 0 + + 0 + False + True + - - - 0 - False - False - - - - - - True - gtk-jump-to - 4 - 0.5 - 0.5 - 0 - 0 - - - 0 - False - True - - - - - True - True - True - True - 0 - - True - * - False + + + True + cic uri + True + True + True + 0 + + True + * + False + + + 0 + True + True + + - - 0 - True - True -