X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=6ddd786b9b4210684bb40568f1bbf545a6a8e437;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=1f035a0faff843113ee9a5badf7e44ae20eb6f85;hpb=904ecbd458b20b47d250889459f9aa9ebd26d04d;p=helm.git diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index 1f035a0fa..6ddd786b9 100644 --- a/helm/matita/matita.glade +++ b/helm/matita/matita.glade @@ -3,81 +3,6 @@ - - Matita: about - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_CENTER - True - False - False - True - False - False - GDK_WINDOW_TYPE_HINT_DIALOG - GDK_GRAVITY_NORTH_WEST - True - - - - True - False - 0 - - - - True - GTK_BUTTONBOX_END - - - - True - True - True - gtk-ok - True - GTK_RELIEF_NORMAL - True - -5 - - - - - 0 - False - True - GTK_PACK_END - - - - - - True - <b>Matita @VERSION@</b> - -<tt>http://helm.cs.unibo.it</tt> - -Copyright (C) 2005, -<i>the HELM team</i> - False - True - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 5 - 5 - - - 0 - False - False - - - - - - True Cic browser @@ -93,6 +18,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST + True @@ -422,6 +348,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 tab @@ -445,6 +375,9 @@ Copyright (C) 2005, False False True + False + False + False @@ -467,6 +400,47 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + tab + + + + + + 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 @@ -497,6 +471,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True True @@ -557,6 +532,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -581,6 +560,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True True @@ -641,6 +621,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -669,6 +653,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True True @@ -692,9 +677,10 @@ Copyright (C) 2005, - - 200 - Interpretation choice + + 350 + 250 + title GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE True @@ -705,6 +691,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True True @@ -719,7 +706,7 @@ Copyright (C) 2005, GTK_BUTTONBOX_END - + True True True @@ -732,7 +719,7 @@ Copyright (C) 2005, - + True True True @@ -745,7 +732,7 @@ Copyright (C) 2005, - + True True True @@ -772,7 +759,7 @@ Copyright (C) 2005, 0 - + True some informative message here ... False @@ -784,6 +771,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -796,19 +787,22 @@ Copyright (C) 2005, True True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT - + True True False False False True + False + False + False @@ -841,6 +835,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST + True @@ -879,9 +874,10 @@ Copyright (C) 2005, True _New True + - + True gtk-new 1 @@ -902,7 +898,7 @@ Copyright (C) 2005, - + True gtk-open 1 @@ -923,7 +919,7 @@ Copyright (C) 2005, - + True gtk-save 1 @@ -941,9 +937,10 @@ Copyright (C) 2005, True Save _As ... True + - + True gtk-save-as 1 @@ -957,7 +954,28 @@ Copyright (C) 2005, - + + True + _Developments... + True + + + + + True + gtk-execute + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + True @@ -970,7 +988,7 @@ Copyright (C) 2005, - + True gtk-quit 1 @@ -997,16 +1015,17 @@ Copyright (C) 2005, - + True - Find & Replace + False + _Undo True - + - + True - gtk-find-and-replace + gtk-undo 1 0.5 0.5 @@ -1016,101 +1035,179 @@ Copyright (C) 2005, - - - - - - - True - _View - True + + + True + False + _Redo + True + - - + + + True + gtk-redo + 1 + 0.5 + 0.5 + 0 + 0 + + + + - + True - Show/Hide the tactics buttons bar - View Tactics Bar - True - True - - + True - New Cic Browser + Cu_t True - + + + + + True + gtk-cut + 1 + 0.5 + 0.5 + 0 + 0 + + - + True - Fullscreen + _Copy True - False - + + + + + True + gtk-copy + 1 + 0.5 + 0.5 + 0 + 0 + + - + True + _Paste + True + + + + + True + gtk-paste + 1 + 0.5 + 0.5 + 0 + 0 + + - + True - Increase Font Size + _Delete True - - + + + + True + gtk-delete + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True - + True - Decrease Font Size + Select _All True - - - + + True + + + + + True - Normal Font Size + _Find & Replace ... True - + + + + + True + gtk-find-and-replace + 1 + 0.5 + 0.5 + 0 + 0 + + - - - - - - - True - Debug - True + + + True + + - - + + + True + Next ligature + True + + + - + True + Edit with E_xternal Editor + True @@ -1119,38 +1216,258 @@ Copyright (C) 2005, - + True - _Help + _Script True - + - + True - About... + Execute 1 phrase True + - - - - - - - - - 0 - False - False - - - - - True + + + True + Retract 1 phrase + True + + + + + + + True + + + + + + True + Execute all + True + + + + + + + True + Restart + True + + + + + + + True + + + + + + True + Execute until cursor + True + + + + + + + + + + + True + _View + True + + + + + + + True + Show _Tactics Bar + True + True + + + + + + + True + New Cic _Browser + True + + + + + + + True + + + + + + True + _Fullscreen + True + False + + + + + + + True + + + + + + True + Zoom _In + True + + + + + + True + gtk-zoom-in + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + Zoom _Out + True + + + + + + True + gtk-zoom-out + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + _Normal Size + True + + + + + True + gtk-zoom-100 + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + + + + + True + _Debug + True + + + + + + + True + + + + + + + + + + True + _Help + True + + + + + + + True + _About + True + + + + True + gtk-about + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + + + + + + 0 + False + False + + + + + + True False 0 @@ -1790,11 +2107,10 @@ Copyright (C) 2005, True - restart (Home) + Restart True GTK_RELIEF_NONE True - @@ -1826,11 +2142,10 @@ Copyright (C) 2005, True - go back 1 phrase (Page Up) + Retract 1 phrase True GTK_RELIEF_NONE True - @@ -1862,7 +2177,7 @@ Copyright (C) 2005, True - execute until point + Execute until point True GTK_RELIEF_NONE True @@ -1897,11 +2212,10 @@ Copyright (C) 2005, True - go forward 1 phrase (Page Down) + Execute 1 phrase True GTK_RELIEF_NONE True - @@ -1933,11 +2247,10 @@ Copyright (C) 2005, True - execute all (End) + Execute all True GTK_RELIEF_NONE True - @@ -2008,6 +2321,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 tab @@ -2031,6 +2348,9 @@ Copyright (C) 2005, False False True + False + False + False @@ -2053,6 +2373,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 tab @@ -2225,6 +2549,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 tab @@ -2258,6 +2586,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 tab @@ -2291,6 +2623,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 tab @@ -2328,6 +2664,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True True @@ -2388,6 +2725,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -2448,6 +2789,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True True @@ -2531,6 +2873,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -2628,6 +2974,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -2669,6 +3019,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -2695,6 +3049,9 @@ Copyright (C) 2005, False False True + False + False + False @@ -2724,6 +3081,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -2781,6 +3142,7 @@ Copyright (C) 2005, False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST + True @@ -2804,6 +3166,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -2828,6 +3194,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -2982,6 +3352,10 @@ Copyright (C) 2005, 0.5 0 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 0 @@ -3029,4 +3403,542 @@ Copyright (C) 2005, + + Create development + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_CENTER_ALWAYS + True + False + False + True + False + False + GDK_WINDOW_TYPE_HINT_UTILITY + GDK_GRAVITY_NORTH_WEST + True + + + + True + False + 0 + + + + 3 + True + 2 + 3 + False + 5 + 5 + + + + True + Name + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + 1 + 0 + 1 + fill + + + + + + + True + Root directory + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + 1 + 1 + 2 + fill + + + + + + + True + True + True + True + 0 + + True + * + False + + + 1 + 2 + 0 + 1 + + + + + + + True + True + True + True + 0 + + True + * + False + + + 1 + 2 + 1 + 2 + + + + + + + True + True + ... + True + GTK_RELIEF_NORMAL + True + + + 2 + 3 + 1 + 2 + fill + + + + + + 0 + False + True + + + + + + True + + + 2 + False + True + + + + + + 3 + True + False + 5 + + + + True + False + 0 + + + + + + + + + + + 0 + True + True + + + + + + True + True + gtk-add + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + + True + True + gtk-cancel + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + 0 + False + True + + + + + + + + Developments + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_CENTER + False + True + False + True + False + False + GDK_WINDOW_TYPE_HINT_NORMAL + GDK_GRAVITY_NORTH_WEST + True + + + + True + False + 0 + + + + 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 + + + + + + True + + + 2 + False + True + + + + + + 3 + True + False + 4 + + + + True + False + 0 + + + + + + + + + + + 0 + True + True + + + + + + True + True + gtk-new + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + + True + True + gtk-delete + True + GTK_RELIEF_NORMAL + True + + + 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-execute + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + _Build + 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-clear + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + C_lean + 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-close + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + 0 + False + True + + + + + +