X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.glade;h=9a2f3fd3942c83e9ee864dc0faf1736529eefd0c;hb=a1c4c601850c71e094a4703af00f02ca2026d8ed;hp=436dd7b268b664c5cea6a27ebcc6f83b5eb44fb1;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git diff --git a/matita/matita.glade b/matita/matita.glade index 436dd7b26..9a2f3fd39 100644 --- a/matita/matita.glade +++ b/matita/matita.glade @@ -19,6 +19,7 @@ GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True + False @@ -32,6 +33,137 @@ False 0 + + + True + GTK_PACK_DIRECTION_LTR + GTK_PACK_DIRECTION_LTR + + + + True + _File + True + + + + + + + True + gtk-new + True + + + + + + True + Open _Location ... + True + + + + + + + True + + + + + + True + gtk-close + True + + + + + + + + + + True + _Edit + True + + + + + + + True + gtk-copy + True + + + + + + + + + + True + _View + True + + + + + + + True + _Metadata + True + + + + + + True + View the graph of objects on which the current one depends on + (Direct) Dependencies + True + + + + + + True + View the graph of objects which depends on the current one + (Inverse) Dependencies + True + + + + + + True + + + + + + True + HBugs Tutors + True + + + + + + + + + 0 + False + False + + + True @@ -411,12 +543,224 @@ - + + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT + + + + True + GTK_SHADOW_NONE + + + + True + 0.5 + 0.5 + 0 + 0 + + + + + + + False + True + + + + + + True + WhelpEasterEgg + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + tab + + + + + + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT + + + + + + + False + True + + + + + True + Graph + False + False + GTK_JUSTIFY_LEFT + False + False 0.5 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + tab + + + + + + True + False + 0 + + + + True + True + GTK_POLICY_ALWAYS + GTK_POLICY_ALWAYS + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT + + + + True + True + True + False + False + True + False + False + False + + + + + 0 + True + True + + + + + + True + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True + + + + True + True + True + False + + + + True + True + gtk-refresh + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + True + True + gtk-remove + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + True + True + gtk-add + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + 0 + False + False + + False @@ -425,9 +769,9 @@ - + True - WhelpEasterEgg + HBugs False False GTK_JUSTIFY_LEFT @@ -472,6 +816,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -561,6 +906,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -654,6 +1000,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -677,152 +1024,6 @@ - - 350 - 250 - title - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - True - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_DIALOG - GDK_GRAVITY_NORTH_WEST - True - True - - - - True - False - 0 - - - - True - GTK_BUTTONBOX_END - - - - True - True - True - gtk-help - True - GTK_RELIEF_NORMAL - True - -11 - - - - - - True - True - True - gtk-cancel - True - GTK_RELIEF_NORMAL - True - -6 - - - - - - True - True - True - gtk-ok - True - GTK_RELIEF_NORMAL - True - -5 - - - - - 0 - False - True - GTK_PACK_END - - - - - - True - False - 0 - - - - True - some informative message here ... - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - PANGO_ELLIPSIZE_NONE - -1 - False - 0 - - - 0 - False - False - - - - - - True - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT - - - - True - True - False - False - False - True - False - False - False - - - - - 0 - True - True - - - - - 0 - True - True - - - - - - Matita GTK_WINDOW_TOPLEVEL @@ -836,6 +1037,7 @@ GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True + False @@ -859,6 +1061,8 @@ True + GTK_PACK_DIRECTION_LTR + GTK_PACK_DIRECTION_LTR @@ -877,7 +1081,7 @@ - + True gtk-new 1 @@ -898,7 +1102,7 @@ - + True gtk-open 1 @@ -919,7 +1123,7 @@ - + True gtk-save 1 @@ -935,12 +1139,12 @@ True - Save _As ... + Save _as ... True - + True gtk-save-as 1 @@ -961,7 +1165,7 @@ - + True gtk-execute 1 @@ -988,7 +1192,7 @@ - + True gtk-quit 1 @@ -1023,7 +1227,7 @@ - + True gtk-undo 1 @@ -1045,7 +1249,7 @@ - + True gtk-redo 1 @@ -1072,7 +1276,7 @@ - + True gtk-cut 1 @@ -1093,7 +1297,7 @@ - + True gtk-copy 1 @@ -1114,7 +1318,7 @@ - + True gtk-paste 1 @@ -1135,6 +1339,15 @@ + + + True + Paste Unicode as TeX + True + True + + + True @@ -1142,7 +1355,7 @@ True - + True gtk-delete 1 @@ -1178,12 +1391,12 @@ True - _Find & Replace ... + _Find & replace ... True - + True gtk-find-and-replace 1 @@ -1214,7 +1427,7 @@ True - Edit with E_xternal Editor + Edit with e_xternal editor True @@ -1305,7 +1518,7 @@ True - Show _Tactics Bar + Show _tactics bar True True @@ -1315,7 +1528,7 @@ True - New Cic _Browser + New CIC _browser True @@ -1346,13 +1559,12 @@ True - Zoom _In + Zoom _in True - - + True gtk-zoom-in 1 @@ -1368,13 +1580,12 @@ True - Zoom _Out + Zoom _out True - - + True gtk-zoom-out 1 @@ -1390,12 +1601,12 @@ True - _Normal Size + _Normal size True - + True gtk-zoom-100 1 @@ -1407,6 +1618,30 @@ + + + + True + + + + + + True + Pretty print notation + True + True + + + + + + True + Hide coercions + True + True + + @@ -1440,6 +1675,27 @@ + + + True + _Contents + True + + + + + True + gtk-help + 1 + 0.5 + 0.5 + 0 + 0 + + + + + True @@ -1447,7 +1703,7 @@ True - + True gtk-about 1 @@ -2098,185 +2354,247 @@ 0 - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + False + 0 - + True - True - True - False + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - + True - Restart - True - GTK_RELIEF_NONE - True + True + True + False - + True - gtk-goto-top - 4 - 0.5 - 0.5 - 0 - 0 + Restart + True + GTK_RELIEF_NONE + True + + + + True + gtk-goto-top + 4 + 0.5 + 0.5 + 0 + 0 + + + + False + False + - - - False - False - - - - - - True - True - True - False - + True - Retract 1 phrase - True - GTK_RELIEF_NONE - True + True + True + False - + True - gtk-go-up - 4 - 0.5 - 0.5 - 0 - 0 + Retract 1 phrase + True + GTK_RELIEF_NONE + True + + + + True + gtk-go-up + 4 + 0.5 + 0.5 + 0 + 0 + + + + False + False + - - - False - False - - - - - - True - True - True - False - + True - Execute until point - True - GTK_RELIEF_NONE - True + True + True + False - + True - gtk-jump-to - 4 - 0.5 - 0.5 - 0 - 0 + Execute until point + True + GTK_RELIEF_NONE + True + + + + True + gtk-jump-to + 4 + 0.5 + 0.5 + 0 + 0 + + + + False + False + - - - False - False - - - - - True - True - True - False + + + True + True + True + False + + + + True + Execute 1 phrase + True + GTK_RELIEF_NONE + True + + + + True + gtk-go-down + 4 + 0.5 + 0.5 + 0 + 0 + + + + + + + False + False + + - + True - Execute 1 phrase - True - GTK_RELIEF_NONE - True + True + True + False - + True - gtk-go-down - 4 - 0.5 - 0.5 - 0 - 0 + Execute all + True + GTK_RELIEF_NONE + True + + + + True + gtk-goto-bottom + 4 + 0.5 + 0.5 + 0 + 0 + + + + False + False + - False - False + 0 + True + True - + True - True - True - False + GTK_ORIENTATION_VERTICAL + GTK_TOOLBAR_ICONS + True + True - + True - Execute all - True - GTK_RELIEF_NONE - True + True + True + False - + True - gtk-goto-bottom - 4 - 0.5 - 0.5 - 0 - 0 + True + GTK_RELIEF_NONE + True + + + + True + gtk-stop + 4 + 0.5 + 0.5 + 0 + 0 + + + + False + False + + 0 False - False + True @@ -2349,21 +2667,34 @@ GTK_CORNER_TOP_LEFT - + True - True - False - False - False - True - False - False - False - - - - - False + GTK_SHADOW_IN + + + + True + Not implemented. + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + + + + + False True @@ -2673,6 +3004,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -2798,6 +3130,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -2999,6 +3332,19 @@ + + + + True + True + True + gtk-go-forward + True + GTK_RELIEF_NORMAL + True + 0 + + 0 @@ -3151,6 +3497,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False @@ -3424,6 +3771,7 @@ GDK_WINDOW_TYPE_HINT_UTILITY GDK_GRAVITY_NORTH_WEST True + False @@ -3659,6 +4007,7 @@ GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True + False @@ -3923,6 +4272,162 @@ + + + True + True + GTK_RELIEF_NORMAL + True + + + + True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 + + + + True + False + 2 + + + + True + gtk-convert + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + Publish + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + + + + + + + + 0 + False + False + + + + + + True + True + GTK_RELIEF_NORMAL + True + + + + True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 + + + + True + False + 2 + + + + True + gtk-zoom-fit + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + Graph + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + + + + + + + + 0 + False + False + + + True @@ -3949,4 +4454,529 @@ + + 450 + 400 + title + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + True + True + False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST + True + False + True + + + + True + False + 0 + + + + True + GTK_BUTTONBOX_END + + + + True + True + True + gtk-help + True + GTK_RELIEF_NORMAL + True + -11 + + + + + + True + True + True + GTK_RELIEF_NORMAL + True + -6 + + + + True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 + + + + True + False + 2 + + + + True + gtk-zoom-in + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + More + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + + + + + + + + + + + True + True + True + True + gtk-cancel + True + GTK_RELIEF_NORMAL + True + -6 + + + + + + True + True + True + gtk-ok + True + GTK_RELIEF_NORMAL + True + -5 + + + + + 0 + False + True + GTK_PACK_END + + + + + + True + False + 0 + + + + True + some informative message here ... + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + + + + + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + True + True + False + False + False + True + False + False + False + + + + + 0 + True + True + + + + + 0 + True + True + + + + + + + + 600 + 400 + True + Auto + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_CENTER + False + True + False + True + False + False + GDK_WINDOW_TYPE_HINT_NORMAL + GDK_GRAVITY_NORTH_WEST + True + False + + + + True + False + 0 + + + + True + False + 2 + + + + True + True + GTK_POLICY_ALWAYS + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + True + GTK_SHADOW_IN + + + + True + 3 + 3 + False + 0 + 0 + + + + + + + 0 + True + True + + + + + + True + False + 0 + + + + True + True + GTK_RELIEF_NORMAL + True + + + + True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 + + + + True + False + 2 + + + + True + gtk-go-up + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + + + + + + + + 0 + True + True + + + + + + True + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-go-down + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 0 + True + True + + + + + 0 + False + False + + + + + 0 + True + True + + + + + + True + + + 3 + False + True + + + + + + True + False + 0 + + + + True + Last: + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + True + True + + + + + + 4 + True + GTK_BUTTONBOX_END + 4 + + + + True + True + True + gtk-media-pause + True + GTK_RELIEF_NORMAL + True + + + + + + True + True + True + gtk-media-play + True + GTK_RELIEF_NORMAL + True + + + + + + True + True + True + gtk-media-next + True + GTK_RELIEF_NORMAL + True + + + + + + True + True + True + gtk-close + True + GTK_RELIEF_NORMAL + True + + + + + 0 + True + True + + + + + 0 + False + True + + + + + +