X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.ui;h=adc72164d48e4e562402f70c23c2aaa54a3c667b;hb=f8b4eb67c2437f7b5174d7dca46e102e0ac0d19d;hp=3ea0c2dd9cffbf39484d80243473e5809b3fd0cb;hpb=a823c605d3a541c8d7df2bcc3c21bf459c9d25c4;p=helm.git
diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 3ea0c2dd9..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
@@ -1767,10 +1494,9 @@
False
2
-
+
True
False
- top
True
@@ -2211,6 +1937,11 @@
+
+ False
+ True
+ 0
+
@@ -2442,11 +2173,12 @@
-
+
250
500
True
True
+ vertical
380
@@ -2609,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
@@ -2913,6 +2556,7 @@
400
True
True
+ True
True
@@ -2934,6 +2578,7 @@
True
False
+ True
True
@@ -2959,7 +2604,7 @@
- False
+ True
True
2