changeset 3064 | 2bd791d76bab |
parent 3063 | bfe0755a11c3 |
child 3073 | ad458a6e1a83 |
--- a/UIPainter.st Fri Dec 06 10:54:21 2013 +0100 +++ b/UIPainter.st Thu Dec 12 11:58:17 2013 +0100 @@ -1076,7 +1076,6 @@ #layout: #(#LayoutFrame 291 0 130 0 637 0 289 0) #label: 'GUI Painter' #min: #(#Point 350 160) - #max: #(#Point 500 160) #bounds: #(#Rectangle 291 130 638 290) #usePreferredExtent: false )