X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.ui;h=adc72164d48e4e562402f70c23c2aaa54a3c667b;hb=ca1807b86671236be3042b77dbc65034d0aa77c2;hp=1b567aef6a8437baa4d8fffab5cd7d28f66cfc38;hpb=b39108452d2e3116ca7db0cdd1cc72bf44959e37;p=helm.git
diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 1b567aef6..adc72164d 100644
--- a/matita/matita/matita.ui
+++ b/matita/matita/matita.ui
@@ -30,11 +30,9 @@
True
False
-
@@ -136,7 +134,7 @@
-
+
True
False
@@ -165,7 +163,7 @@
-
+
True
False
4
@@ -745,81 +743,6 @@
-
- False
- DUMMY
- False
- True
- center
- 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
- center
-
-
- False
- False
- 2
-
-
-
-
-
- ConfirmationDialogCancelButton
- ConfirmationDialogOkButton
-
-
450
400
@@ -836,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
@@ -965,9 +789,11 @@
True
True
+ True
in
+ 717
True
True
False
@@ -992,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
@@ -1079,12 +827,10 @@
mouse
dialog
-
+
True
False
- 3
- 2
- 5
+ 9
True
@@ -1093,8 +839,8 @@
0
-
-
+ 0
+ 0
@@ -1105,24 +851,20 @@
0
+ 0
1
- 2
-
-
True
True
- True
True
True
1
- 2
-
+ 0
@@ -1132,10 +874,7 @@
1
- 2
1
- 2
-
@@ -1143,18 +882,7 @@
True
False
5
-
-
- True
- False
- vertical
-
-
- True
- True
- 0
-
-
+ True
gtk-find
@@ -1237,10 +965,9 @@
- 2
+ 0
2
- 3
- 5
+ 2
@@ -1758,7 +1485,7 @@
True
False
-
+
True
True
@@ -2210,6 +1937,11 @@
+
+ False
+ True
+ 0
+
@@ -2441,11 +2173,12 @@
-
+
250
500
True
True
+ vertical
380
@@ -2608,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
@@ -2912,6 +2556,7 @@
400
True
True
+ True
True
@@ -2933,6 +2578,7 @@
True
False
+ True
True
@@ -2958,7 +2604,7 @@
- False
+ True
True
2