X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.ui;h=adc72164d48e4e562402f70c23c2aaa54a3c667b;hb=74223db3fc45caccb3cfac80971b29cb0613da28;hp=47987930e881a49868e95b4d60c7d80a44174645;hpb=1e7869ecac0e847c2cbae6d79f78b7880fcfce03;p=helm.git
diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 47987930e..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
@@ -172,7 +169,6 @@
4
4
end
- horizontal
gtk-media-pause
@@ -747,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
@@ -838,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
@@ -967,9 +789,11 @@
True
True
+ True
in
+ 717
True
True
False
@@ -994,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
@@ -1081,12 +827,10 @@
mouse
dialog
-
+
True
False
- 3
- 2
- 5
+ 9
True
@@ -1095,8 +839,8 @@
0
-
-
+ 0
+ 0
@@ -1107,24 +851,20 @@
0
+ 0
1
- 2
-
-
True
True
- True
True
True
1
- 2
-
+ 0
@@ -1134,10 +874,7 @@
1
- 2
1
- 2
-
@@ -1145,18 +882,7 @@
True
False
5
-
-
- True
- False
- vertical
-
-
- True
- True
- 0
-
-
+ True
gtk-find
@@ -1239,10 +965,9 @@
- 2
+ 0
2
- 3
- 5
+ 2
@@ -1763,7 +1488,6 @@
True
True
- horizontal
True
@@ -2213,6 +1937,11 @@
+
+ False
+ True
+ 0
+
@@ -2449,8 +2178,8 @@
500
True
True
- 380
vertical
+ 380
True
@@ -2612,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
@@ -2916,6 +2556,7 @@
400
True
True
+ True
True
@@ -2937,6 +2578,7 @@
True
False
+ True
True
@@ -2962,7 +2604,7 @@
- False
+ True
True
2