From: Claudio Sacerdoti Coen Date: Fri, 21 Dec 2018 23:42:49 +0000 (+0100) Subject: More H/V deprecated widgets replaced X-Git-Tag: make_still_working~229^2~1^2~29 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1e7869ecac0e847c2cbae6d79f78b7880fcfce03;p=helm.git More H/V deprecated widgets replaced --- diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui index 8a7cc1978..47987930e 100644 --- a/matita/matita/matita.ui +++ b/matita/matita/matita.ui @@ -166,12 +166,13 @@ - + True False 4 4 end + horizontal gtk-media-pause @@ -1759,9 +1760,10 @@ True False - + True True + horizontal True @@ -2442,12 +2444,13 @@ - + 250 500 True True 380 + vertical True