X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.ui;h=adc72164d48e4e562402f70c23c2aaa54a3c667b;hb=f8b4eb67c2437f7b5174d7dca46e102e0ac0d19d;hp=4cbc20a0fdcea8bbca844e0eaedcf861ad5926af;hpb=23cce26b9d3364626c680d95c5e450732be1a071;p=helm.git
diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 4cbc20a0f..adc72164d 100644
--- a/matita/matita/matita.ui
+++ b/matita/matita/matita.ui
@@ -743,81 +743,6 @@
-
450
400
@@ -834,106 +759,7 @@
True
False
- end
-
-
- gtk-help
- True
- True
- True
- False
- True
-
-
- False
- False
- 0
-
-
-
-
- True
- True
- True
- False
-
-
- True
- False
- 0
- 0
-
-
- True
- False
- 2
-
-
- True
- False
- gtk-zoom-in
-
-
- False
- False
- 0
-
-
-
-
- True
- False
- More
- True
-
-
- False
- False
- 1
-
-
-
-
-
-
-
-
- False
- False
- 1
-
-
-
-
- gtk-cancel
- True
- True
- True
- True
- False
- True
-
-
- False
- False
- 2
-
-
-
-
- gtk-ok
- True
- True
- True
- False
- True
-
-
- False
- False
- 3
-
-
+ spread
False
@@ -963,9 +789,11 @@
True
True
+ True
in
+ 717
True
True
False
@@ -990,84 +818,6 @@
-
- button6
- disambiguationErrorsMoreErrors
- disambiguationErrorsCancelButton
- disambiguationErrorsOkButton
-
-
-
- True
- False
- DUMMY
- dialog
-
-
- True
- False
- vertical
-
-
- True
- False
- end
-
-
- gtk-cancel
- True
- True
- True
- False
- True
-
-
- False
- False
- 0
-
-
-
-
- gtk-ok
- True
- True
- True
- False
- True
-
-
- False
- False
- 1
-
-
-
-
- False
- False
- end
- 0
-
-
-
-
- True
- False
- DUMMY
-
-
- False
- False
- 2
-
-
-
-
-
- EmptyDialogCancelButton
- EmptyDialogOkButton
-
False
@@ -2591,95 +2341,6 @@
-
- False
- DUMMY
- dialog
-
-
- True
- False
- vertical
-
-
- True
- False
- end
-
-
- gtk-cancel
- True
- True
- True
- False
- True
-
-
- False
- False
- 0
-
-
-
-
- gtk-ok
- True
- True
- True
- False
- True
-
-
- False
- False
- 1
-
-
-
-
- False
- False
- end
- 0
-
-
-
-
- True
- False
- DUMMY
-
-
- False
- False
- 2
-
-
-
-
- True
- True
- in
-
-
- True
- True
-
-
-
-
- False
- True
- 3
-
-
-
-
-
- TextDialogCancelButton
- TextDialogOkButton
-
-
280
False
@@ -2895,6 +2556,7 @@
400
True
True
+ True
True
@@ -2916,6 +2578,7 @@
True
False
+ True
True
@@ -2941,7 +2604,7 @@
- False
+ True
True
2