#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Thu, 01 Sep 2016 19:46:28 +0200
changeset 16824 165814de4c38
parent 16823 21451c6e8953
child 16825 b5bc034a38d7
child 16828 3be43a489ae3
#UI_ENHANCEMENT by cg class: Tools::TestRunnerMini changed: #windowSpec geometry
Tools__TestRunnerMini.st
--- a/Tools__TestRunnerMini.st	Thu Sep 01 18:29:35 2016 +0200
+++ b/Tools__TestRunnerMini.st	Thu Sep 01 19:46:28 2016 +0200
@@ -256,7 +256,7 @@
                             )
                           
                          )
-                         extent: (Point 219 31)
+                         extent: (Point 206 31)
                        )
                       (ActionButtonSpec
                          label: 'Debug'
@@ -323,8 +323,8 @@
                  )
                 (LabelSpec
                    name: 'ResultInfo'
-                   layout: (LayoutFrame 0 0 -20 1 0 0.5 0 1)
-                   style: (FontDescription helvetica medium roman 10 #'iso10646-1')
+                   layout: (LayoutFrame 0 0 -20 1 0 1 0 1)
+                   style: (FontDescription helvetica medium roman 10 #'iso10646-1' nil nil)
                    backgroundChannel: resultBackgroundColorAspect
                    foregroundChannel: resultTextForegroundColorAspect
                    translateLabel: true