From: Claudio Sacerdoti Coen Date: Fri, 21 Dec 2018 23:39:03 +0000 (+0100) Subject: GtkHSeparator deprecated X-Git-Tag: make_still_working~229^2~1^2~30 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b0ba34606d0e7db245c7f15c901d741341bb4562;p=helm.git GtkHSeparator deprecated GtkSeparator used instead --- diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui index 1b567aef6..8a7cc1978 100644 --- a/matita/matita/matita.ui +++ b/matita/matita/matita.ui @@ -136,9 +136,10 @@ - + True False + horizontal False