UIPainter.st
changeset 1444 fec7424dccda
parent 1442 ed108e53c783
child 1453 0cf534cc29a9
--- a/UIPainter.st	Mon Dec 11 11:33:22 2000 +0100
+++ b/UIPainter.st	Wed Dec 20 12:27:17 2000 +0100
@@ -3108,6 +3108,7 @@
                     painter updateFromSpec:spec.
                 ]
             ] ifFalse:[
+                spec useDefaultExtent:false.
                 painter setLayout:layout
             ]
         ]