From: Claudio Sacerdoti Coen Date: Wed, 26 Dec 2018 15:11:24 +0000 (+0100) Subject: Old glade2 file removed X-Git-Tag: make_still_working~229^2~18 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d019d378b91936e8d40e7094e89b8d7b827f4e26;p=helm.git Old glade2 file removed --- diff --git a/matita/matita/matita.glade b/matita/matita/matita.glade deleted file mode 100644 index 85c9f2809..000000000 --- a/matita/matita/matita.glade +++ /dev/null @@ -1,2798 +0,0 @@ - - - - - - 500 - 480 - True - Cic browser - center-on-parent - 500 - 480 - True - - - True - - - True - vertical - - - True - - - True - _File - True - - - - - gtk-new - True - True - True - - - - - True - Open _Location ... - True - - - - - - True - - - - - gtk-close - True - True - True - - - - - - - - - True - _Edit - True - - - - - gtk-copy - True - True - True - - - - - - - - - False - False - 0 - - - - - True - 0 - 0 - none - - - True - - - True - True - False - none - - - True - gtk-new - - - - - False - False - 0 - - - - - True - True - False - none - - - True - gtk-go-back - - - - - False - False - 1 - - - - - True - True - False - none - - - True - gtk-go-forward - - - - - False - False - 2 - - - - - True - True - True - False - refresh - none - - - True - gtk-refresh - - - - - False - False - 3 - - - - - True - True - True - False - home - none - - - True - gtk-home - - - - - False - False - 4 - - - - - True - gtk-jump-to - 2 - - - False - False - 3 - 5 - - - - - True - - - True - True - True - ● - - - 0 - - - - - 6 - - - - - - - False - 1 - - - - - True - True - - - True - True - automatic - automatic - - - - - - - - True - MathView - - - False - tab - - - - - True - True - automatic - automatic - in - - - True - True - False - - - - - 1 - - - - - True - WhelpResult - - - 1 - False - tab - - - - - True - True - automatic - automatic - - - True - none - - - True - gtk-missing-image - - - - - - - 2 - - - - - True - WhelpEasterEgg - - - 2 - False - tab - - - - - True - True - automatic - automatic - - - - - - 3 - - - - - True - Graph - - - 3 - False - tab - - - - - True - vertical - - - True - True - 3 - automatic - automatic - in - - - - - - 0 - - - - - True - 4 - 4 - - - True - vertical - - - - - - - - - 0 - - - - - True - True - True - - - 1 - - - - - True - True - False - - - True - 0 - 0 - - - True - 2 - - - True - gtk-find - - - False - False - 0 - - - - - True - Search - True - - - False - False - 1 - - - - - - - - - False - False - 2 - - - - - False - 1 - - - - - 4 - - - - - True - SearchText - - - 4 - False - tab - - - - - 3 - - - - - - - - - DUMMY - False - True - center - dialog - - - True - vertical - - - True - DUMMY - center - - - False - False - 2 - - - - - True - end - - - gtk-cancel - -6 - True - True - True - False - True - - - False - False - 0 - - - - - gtk-ok - -5 - True - True - True - False - True - - - False - False - 1 - - - - - False - end - 0 - - - - - - - True - DUMMY - dialog - - - True - vertical - - - True - DUMMY - - - False - False - 2 - - - - - - - - True - end - - - gtk-cancel - -6 - True - True - True - False - True - - - False - False - 0 - - - - - gtk-ok - -5 - True - True - True - False - True - - - False - False - 1 - - - - - False - end - 0 - - - - - - - 10 - Select File - True - center - dialog - - - True - True - True - False - - - - - True - True - True - False - - - - - Matita - - - True - - - True - vertical - - - True - - - True - - - True - _File - True - - - - - gtk-new - True - True - True - - - - - - gtk-open - True - True - True - - - - - - gtk-save - True - True - True - - - - - - gtk-save-as - True - True - True - - - - - - True - - - - - gtk-close - True - True - True - - - - - - gtk-quit - True - True - True - - - - - - - - - - True - _Edit - True - - - - - gtk-undo - True - False - True - True - - - - - - gtk-redo - True - False - True - True - - - - - - True - - - - - gtk-cut - True - True - True - - - - - - gtk-copy - True - True - True - - - - - - gtk-paste - True - True - True - - - - - - True - Paste as pattern - True - - - - - True - Paste Unicode as TeX - True - - - - - True - Automatically expands TeX macros to their corresponding UTF-8 symbol - Auto-expand TeX Macros - True - True - - - - - gtk-delete - True - True - True - - - - - True - - - - - True - Select _All - True - - - - - True - - - - - gtk-find-and-replace - True - True - True - - - - - - True - - - - - True - Next ligature - True - - - - - - True - Edit with e_xternal editor - True - - - - - - - - - True - _Script - True - - - - - gtk-go-down - True - True - True - - - - - - gtk-go-up - True - True - True - - - - - - True - - - - - gtk-goto-bottom - True - True - True - - - - - - gtk-goto-top - True - True - True - - - - - - True - - - - - gtk-jump-to - True - True - True - - - - - - - - - - True - _View - True - - - - - True - New CIC _browser - True - - - - - - True - - - - - True - _Fullscreen - True - - - - - - True - Shows a palette with natural deduction rules - Natural deduction palette - True - - - - - - True - - - - - gtk-zoom-in - True - True - True - - - - - - gtk-zoom-out - True - True - True - - - - - - gtk-zoom-100 - True - True - True - - - - - - True - - - - - True - Pretty print notation - True - True - - - - - True - Hide coercions - True - True - - - - - True - - - - - True - Displays the graph of coercions - Coercions Graph - True - - - - - True - Displays the database of hints - Hints database - True - - - - - True - Displays the terms grammar as extended by the user - Terms grammar - True - - - - - True - Show the conversion table from TeX like sequences to UTF-8 - TeX/UTF-8 table - True - - - - - - - - - True - _Debug - True - - - - - True - - - - - - - - - True - _Help - True - - - - - gtk-help - True - True - True - - - - - - gtk-about - True - True - True - - - - - - - - - - - False - False - 0 - - - - - True - - - True - True - - - True - 2 - - - True - top - - - True - vertical - - - True - True - - - True - vertical - - - True - True - True - - - True - Implication (⇒<sub>i</sub>) - True - - - - - 0 - - - - - True - True - True - - - True - Conjunction (∧<sub>i</sub>) - True - - - - - 1 - - - - - True - True - True - - - True - Disjunction left (∨<sub>i-l</sub>) - True - - - - - 2 - - - - - True - True - True - - - True - Disjunction right (∨<sub>i-r</sub>) - True - - - - - 3 - - - - - True - True - True - - - True - Negation (¬<sub>i</sub>) - True - - - - - 4 - - - - - True - True - True - - - True - Top (⊤<sub>i</sub>) - True - - - - - 5 - - - - - True - True - True - - - True - Universal (∀<sub>i</sub>) - True - - - - - 6 - - - - - True - True - True - - - True - Existential (∃<sub>i</sub>) - True - - - - - 7 - - - - - - - True - Introduction rules - - - label_item - - - - - False - 0 - - - - - True - True - - - True - vertical - - - True - True - True - - - True - Implication (⇒<sub>e</sub>) - True - - - - - 0 - - - - - True - True - True - - - True - Conjunction left (∧<sub>e-l</sub>) - True - - - - - 1 - - - - - True - True - True - - - True - Conjunction right (∧<sub>e-r</sub>) - True - - - - - 2 - - - - - True - True - True - - - True - Disjunction (∨<sub>e</sub>) - True - - - - - 3 - - - - - True - True - True - - - True - Negation (¬<sub>e</sub>) - True - - - - - 4 - - - - - True - True - True - - - True - Bottom (⊥<sub>e</sub>) - True - - - - - 5 - - - - - True - True - True - - - True - Universal (∀<sub>e</sub>) - True - - - - - 6 - - - - - True - True - True - - - True - Existential (∃<sub>e</sub>) - True - - - - - 7 - - - - - - - True - Elimination rules - - - label_item - - - - - False - 1 - - - - - True - True - - - True - vertical - - - Reduction to Absurdity (RAA) - True - True - True - - - 0 - - - - - Use lemma (lem) - True - True - True - - - 1 - - - - - Discharge (discharge) - True - True - True - - - 2 - - - - - - - True - Misc rules - - - label_item - - - - - False - 2 - - - - - - - False - 0 - - - - - 400 - True - vertical - - - True - - - True - both - - - True - - - True - True - False - Restart - none - - - True - gtk-goto-top - - - - - - - False - - - - - True - - - True - True - False - Retract 1 phrase - none - - - True - gtk-go-up - - - - - - - False - - - - - True - - - True - True - False - Execute until point - none - - - True - gtk-jump-to - - - - - - - False - - - - - True - - - True - True - False - Execute 1 phrase - none - - - True - gtk-go-down - - - - - - - False - - - - - True - - - True - True - False - Execute all - none - - - True - gtk-goto-bottom - - - - - - - False - - - - - 0 - - - - - True - vertical - both - - - True - - - True - True - False - none - - - True - gtk-stop - - - - - - - False - - - - - False - 1 - - - - - False - False - 0 - - - - - True - True - True - - - - - - - tab - - - - - - - - - tab - - - - - 1 - - - - - 1 - - - - - False - True - - - - - 250 - 500 - True - True - 380 - - - True - True - True - - - False - True - - - - - True - - - True - True - never - in - - - True - True - False - char - False - - - - - 0 - - - - - True - True - - - - - True - True - - - - - 0 - - - - - 1 - - - - - True - - - True - False - - - 0 - - - - - True - False - - - True - gtk-missing-image - - - - - True - label14 - - - False - tab - - - - - True - gtk-missing-image - - - 1 - - - - - True - label15 - - - 1 - False - tab - - - - - True - gtk-missing-image - - - 2 - - - - - True - label16 - - - 2 - False - tab - - - - - False - 1 - - - - - False - False - 2 - - - - - - - - - DUMMY - dialog - - - True - vertical - - - True - DUMMY - - - False - False - 2 - - - - - True - True - automatic - automatic - in - - - True - True - - - - - 3 - - - - - True - end - - - gtk-cancel - -6 - True - True - True - False - True - - - False - False - 0 - - - - - gtk-ok - -5 - True - True - True - False - True - - - False - False - 1 - - - - - False - end - 0 - - - - - - - 280 - Uri choice - True - center - dialog - - - True - vertical - 4 - - - True - vertical - 3 - - - True - some informative message here ... - - - False - False - 0 - - - - - 400 - True - True - automatic - automatic - - - True - True - False - - - - - 1 - - - - - True - - - True - URI: - - - False - False - 0 - - - - - True - True - - - 1 - - - - - False - 2 - - - - - 2 - - - - - True - end - - - gtk-cancel - -6 - True - True - True - False - True - - - False - False - 0 - - - - - True - True - True - False - - - True - 0 - 0 - - - True - 2 - - - True - gtk-index - - - False - False - 0 - - - - - True - Try _Selected - True - - - False - False - 1 - - - - - - - - - False - False - 1 - - - - - Try Constants - True - False - True - True - False - True - - - False - False - 2 - - - - - gtk-copy - True - True - False - True - - - False - False - 3 - - - - - True - True - True - False - - - True - 0 - 0 - - - True - 2 - - - True - gtk-ok - - - False - False - 0 - - - - - True - bla bla bla - True - - - False - False - 1 - - - - - - - - - False - False - 4 - - - - - gtk-go-forward - True - True - True - False - True - - - False - False - 5 - - - - - False - end - 0 - - - - - - - 5 - Find & Replace - False - mouse - dialog - - - True - 3 - 2 - 5 - - - True - 0 - Find: - - - - - - - - - True - 0 - Replace with: - - - 1 - 2 - - - - - - - True - True - True - True - True - - - 1 - 2 - - - - - - True - True - - - 1 - 2 - 1 - 2 - - - - - - True - 5 - - - True - vertical - - - - - - - - - 0 - - - - - gtk-find - True - True - False - True - - - False - False - 1 - - - - - True - True - False - - - True - 0 - 0 - - - True - 2 - - - True - gtk-find-and-replace - - - False - False - 0 - - - - - True - _Replace - True - - - False - False - 1 - - - - - - - - - False - False - 2 - - - - - gtk-cancel - True - True - False - True - - - False - False - 3 - - - - - 2 - 2 - 3 - 5 - - - - - - - 450 - 400 - title - True - dialog - - - True - vertical - - - True - vertical - - - True - some informative message here ... - - - False - False - 0 - - - - - True - True - automatic - automatic - in - - - True - True - False - - - - - 1 - - - - - 2 - - - - - True - end - - - gtk-help - -11 - True - True - True - False - True - - - False - False - 0 - - - - - -6 - True - True - True - False - - - True - 0 - 0 - - - True - 2 - - - True - gtk-zoom-in - - - False - False - 0 - - - - - True - More - True - - - False - False - 1 - - - - - - - - - False - False - 1 - - - - - gtk-cancel - -6 - True - True - True - True - False - True - - - False - False - 2 - - - - - gtk-ok - -5 - True - True - True - False - True - - - False - False - 3 - - - - - False - end - 0 - - - - - - - 600 - 400 - True - Auto - dialog - south-east - - - True - vertical - - - True - 2 - - - True - True - automatic - in - - - True - - - True - 3 - 3 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 - - - - - True - vertical - - - True - True - False - - - True - 0 - 0 - - - True - 2 - - - True - gtk-go-up - - - False - False - 0 - - - - - True - True - - - False - False - 1 - - - - - - - - - 0 - - - - - True - True - False - - - True - gtk-go-down - - - - - 1 - - - - - False - False - 1 - - - - - 0 - - - - - True - - - False - 3 - 1 - - - - - True - - - True - 0 - Last: - - - 0 - - - - - True - 4 - 4 - end - - - gtk-media-pause - True - True - True - False - True - - - False - False - 0 - - - - - gtk-media-play - True - True - True - False - True - - - False - False - 1 - - - - - gtk-media-next - True - True - True - False - True - - - False - False - 2 - - - - - gtk-close - True - True - True - False - True - - - False - False - 3 - - - - - 1 - - - - - False - 2 - - - - - -