X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=1076b9192f57993f4d96c180457783607b6a84da;hb=a7d8c13a2309ca4de1b786c8eec14ea9d1e19d3c;hp=bea43910b80469455c525ff33e6796a493562793;hpb=98af6b692e80b3ce45886b89100812047d67c3bd;p=helm.git diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index bea43910b..1076b9192 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 @@ -693,7 +618,8 @@ Copyright (C) 2005, - 200 + 350 + 250 Interpretation choice GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE @@ -796,8 +722,8 @@ Copyright (C) 2005, True True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT @@ -879,9 +805,10 @@ Copyright (C) 2005, True _New True + - + True gtk-new 1 @@ -902,7 +829,7 @@ Copyright (C) 2005, - + True gtk-open 1 @@ -923,7 +850,7 @@ Copyright (C) 2005, - + True gtk-save 1 @@ -941,9 +868,10 @@ Copyright (C) 2005, True Save _As ... True + - + True gtk-save-as 1 @@ -957,7 +885,28 @@ Copyright (C) 2005, - + + True + _Developments... + True + + + + + True + gtk-execute + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + True @@ -970,7 +919,7 @@ Copyright (C) 2005, - + True gtk-quit 1 @@ -992,119 +941,396 @@ Copyright (C) 2005, True _Edit True - - - - - - True - _View - True - + - + True - New Cic Browser + False + _Undo True - + + + + + True + gtk-undo + 1 + 0.5 + 0.5 + 0 + 0 + + - + True - Show/Hide the tactics buttons bar - View Tactics Bar + False + _Redo True - True - + + + + + True + gtk-redo + 1 + 0.5 + 0.5 + 0 + 0 + + - - - - - - - True - Debug - True + + + True + + - - + + + True + Cu_t + True + + + + + True + gtk-cut + 1 + 0.5 + 0.5 + 0 + 0 + + + + - + True + _Copy + True + + + + + True + gtk-copy + 1 + 0.5 + 0.5 + 0 + 0 + + - - - - - - - True - _Help - True + + + True + _Paste + True + - - + + + True + gtk-paste + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + _Delete + True + + + + True + gtk-delete + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + + + + + + True + Select _All + True + + + + + + True + + - + True - About... + _Find & Replace True + + + + + True + gtk-find-and-replace + 1 + 0.5 + 0.5 + 0 + 0 + + - - - - - 0 - False - False - - - - - - True - False - 0 - - - - True - True - + True - False - 0 + _View + True - - True - GTK_SHADOW_OUT - GTK_POS_TOP - GTK_POS_TOP + - + True - 17 + 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 + + + + True + True + + + + True + False + 0 + + + + True + GTK_SHADOW_OUT + GTK_POS_TOP + GTK_POS_TOP + + + + True + 17 2 False 4 @@ -1702,7 +1928,7 @@ Copyright (C) 2005, 0 - + True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH @@ -1719,7 +1945,7 @@ Copyright (C) 2005, True - restart (Home) + restart (Ctrl+Home) True GTK_RELIEF_NONE True @@ -1755,7 +1981,7 @@ Copyright (C) 2005, True - go back 1 phrase (Page Up) + go back 1 phrase (Ctrl+Page Up) True GTK_RELIEF_NONE True @@ -1826,7 +2052,7 @@ Copyright (C) 2005, True - go forward 1 phrase (Page Down) + go forward 1 phrase (Ctrl+Page Down) True GTK_RELIEF_NONE True @@ -1862,7 +2088,7 @@ Copyright (C) 2005, True - execute all (End) + execute all (Ctrl+End) True GTK_RELIEF_NONE True @@ -1906,7 +2132,7 @@ Copyright (C) 2005, False - + True True GTK_POLICY_AUTOMATIC @@ -1915,24 +2141,7 @@ Copyright (C) 2005, GTK_CORNER_TOP_LEFT - - 2 - True - True - True - False - True - GTK_JUSTIFY_LEFT - GTK_WRAP_NONE - True - 0 - 0 - 0 - 2 - 0 - 0 - - + @@ -1942,7 +2151,7 @@ Copyright (C) 2005, - + True script False @@ -2714,4 +2923,782 @@ Copyright (C) 2005, + + 5 + Find & Replace + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_MOUSE + False + False + False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST + + + + True + 3 + 2 + False + 5 + 0 + + + + True + Find: + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + + + 0 + 1 + 0 + 1 + fill + + + + + + + True + Replace with: + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + + + 0 + 1 + 1 + 2 + fill + + + + + + + True + True + True + True + True + True + True + 0 + + True + * + False + + + 1 + 2 + 0 + 1 + + + + + + + True + True + True + True + 0 + + True + * + False + + + 1 + 2 + 1 + 2 + + + + + + + True + False + 5 + + + + True + False + 0 + + + + + + + + + + + 0 + True + True + + + + + + True + True + gtk-find + 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-find-and-replace + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + _Replace + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + + + + 0 + False + False + + + + + + True + True + gtk-cancel + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + 0 + 2 + 2 + 3 + 5 + + + + + + + + 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 + False + 0 + + + + 3 + True + 2 + 3 + False + 5 + 5 + + + + True + Name + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 0 + + + 0 + 1 + 0 + 1 + fill + + + + + + + True + Root directory + False + False + GTK_JUSTIFY_LEFT + False + False + 0 + 0.5 + 0 + 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 + False + 0 + + + + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + True + True + False + False + False + True + + + + + 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 + + + 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 + + + 0 + False + False + + + + + + + + + 0 + False + False + + + + + + True + True + gtk-close + True + GTK_RELIEF_NORMAL + True + + + 0 + False + False + + + + + 0 + False + True + + + + + +