#UI_ENHANCEMENT by sr
authorClaus Gittinger <cg@exept.de>
Tue, 19 Sep 2017 19:38:15 +0200
changeset 17692 2a05eb6462c6
parent 17691 8c9f399ca8e9
child 17693 ea835103d495
#UI_ENHANCEMENT by sr class: Tools::TestRunnerMini class changed: #windowSpec
Tools__TestRunnerMini.st
--- a/Tools__TestRunnerMini.st	Thu Sep 14 14:21:48 2017 +0200
+++ b/Tools__TestRunnerMini.st	Tue Sep 19 19:38:15 2017 +0200
@@ -256,7 +256,7 @@
                             )
                           
                          )
-                         extent: (Point 206 31)
+                         extent: (Point 219 31)
                        )
                       (ActionButtonSpec
                          label: 'Debug'
@@ -333,7 +333,7 @@
                  )
                 (ViewSpec
                    name: 'ProgressPanel'
-                   layout: (LayoutFrame -32 0.5 -17 1 -3 1.0 -5 1)
+                   layout: (LayoutFrame 0 0.75 -17 1 -3 1.0 -5 1)
                    initiallyInvisible: true
                    visibilityChannel: progressIndicatorShownHolder
                    backgroundChannel: resultBackgroundColorAspect