UIPainter.st
changeset 2655 b1fb14b65b57
parent 2629 61f3f3a13b9e
child 2660 2de489f6f1fa
--- a/UIPainter.st	Wed Oct 21 13:17:25 2009 +0200
+++ b/UIPainter.st	Wed Oct 21 15:17:29 2009 +0200
@@ -1352,7 +1352,7 @@
           label: 'GUI Painter'
           name: 'GUI Painter'
           min: (Point 560 460)
-          bounds: (Rectangle 0 0 608 523)
+          bounds: (Rectangle 0 0 683 568)
           menu: menu
           icon: defaultIcon
         )
@@ -1482,7 +1482,7 @@
                                       tabable: true
                                       model: cancel
                                       enableChannel: modifiedChannel
-                                      extent: (Point 146 24)
+                                      extent: (Point 231 24)
                                     )
                                    (ActionButtonSpec
                                       label: 'OK'
@@ -1492,7 +1492,7 @@
                                       tabable: true
                                       model: accept
                                       enableChannel: modifiedChannel
-                                      extent: (Point 146 24)
+                                      extent: (Point 231 24)
                                     )
                                    )
                                  
@@ -1505,7 +1505,7 @@
                        )
                      
                     )
-                    handles: (Any 0.5 1.0)
+                    handles: (Any 0.30592105263158 1.0)
                   )
                  )