X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita.glade;h=a2bfd8bf5774368d743cdcdf9e3ee1430c452f03;hb=adfdd6bb94218accd7ada471084170b846c52994;hp=71506d55ac3b0f0784755299fd7ba00f36b63135;hpb=bdb6fb19553a08101912c28ffb9c882393ccb11f;p=helm.git diff --git a/matita/matita.glade b/matita/matita.glade index 71506d55a..a2bfd8bf5 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,114 @@ False 0 + + + True + GTK_PACK_DIRECTION_LTR + GTK_PACK_DIRECTION_LTR + + + + True + _File + True + + + + + + + True + gtk-new + 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 + + + + + + + + + 0 + False + False + + + True @@ -411,12 +520,72 @@ - + + 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 @@ -425,9 +594,9 @@ - + True - WhelpEasterEgg + Graph False False GTK_JUSTIFY_LEFT @@ -472,6 +641,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -561,6 +731,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -654,6 +825,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -678,8 +850,8 @@ - 350 - 250 + 450 + 400 title GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE @@ -692,6 +864,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -836,6 +1009,7 @@ GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True + False @@ -859,6 +1033,8 @@ True + GTK_PACK_DIRECTION_LTR + GTK_PACK_DIRECTION_LTR @@ -2370,16 +2546,29 @@ GTK_CORNER_TOP_LEFT - + True - True - False - False - False - True - 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 + + @@ -2694,6 +2883,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -2819,6 +3009,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False True @@ -3020,6 +3211,19 @@ + + + + True + True + True + gtk-go-forward + True + GTK_RELIEF_NORMAL + True + 0 + + 0 @@ -3172,6 +3376,7 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True + False @@ -3445,6 +3650,7 @@ GDK_WINDOW_TYPE_HINT_UTILITY GDK_GRAVITY_NORTH_WEST True + False @@ -3680,6 +3886,7 @@ GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True + False @@ -3944,6 +4151,84 @@ + + + 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