From: Claudio Sacerdoti Coen Date: Wed, 26 Dec 2018 15:38:07 +0000 (+0100) Subject: Let the widget expand in the old way X-Git-Tag: make_still_working~229^2~17 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a835ae142c71d7cade1b210c8123069513dc17e4;p=helm.git Let the widget expand in the old way --- diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui index 6e8481589..adc72164d 100644 --- a/matita/matita/matita.ui +++ b/matita/matita/matita.ui @@ -2556,6 +2556,7 @@ 400 True True + True True @@ -2577,6 +2578,7 @@ True False + True True @@ -2602,7 +2604,7 @@ - False + True True 2