X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.ui;h=adc72164d48e4e562402f70c23c2aaa54a3c667b;hb=61bc42e04598a9f5e489c3867af72e700c7fda04;hp=8a7cc197804fdc77652da97f38b397fb35f9162d;hpb=a7cea0ce6aac63e81420e65ac0295112252afceb;p=helm.git
diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 8a7cc1978..adc72164d 100644
--- a/matita/matita/matita.ui
+++ b/matita/matita/matita.ui
@@ -30,11 +30,9 @@
True
False
-
@@ -139,7 +137,6 @@
True
False
- horizontal
False
@@ -166,7 +163,7 @@
-
+
True
False
4
@@ -746,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
@@ -837,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
@@ -966,9 +789,11 @@
True
True
+ True
in
+ 717
True
True
False
@@ -993,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
@@ -1080,12 +827,10 @@
mouse
dialog
-
+
True
False
- 3
- 2
- 5
+ 9
True
@@ -1094,8 +839,8 @@
0
-
-
+ 0
+ 0
@@ -1106,24 +851,20 @@
0
+ 0
1
- 2
-
-
True
True
- True
True
True
1
- 2
-
+ 0
@@ -1133,10 +874,7 @@
1
- 2
1
- 2
-
@@ -1144,18 +882,7 @@
True
False
5
-
-
- True
- False
- vertical
-
-
- True
- True
- 0
-
-
+ True
gtk-find
@@ -1238,10 +965,9 @@
- 2
+ 0
2
- 3
- 5
+ 2
@@ -1759,7 +1485,7 @@
True
False
-
+
True
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