Tools__TestRunnerMini.st
branchjv
changeset 17619 edb119820fcb
parent 17136 cb908d2ba02e
child 17764 7ecdf78ebe2d
--- a/Tools__TestRunnerMini.st	Fri Jun 16 13:07:11 2017 +0100
+++ b/Tools__TestRunnerMini.st	Wed Jul 19 09:42:32 2017 +0200
@@ -578,26 +578,16 @@
 !
 
 pin
-    | runner screen |
+    | runner |
 
     runner := TestRunnerMini new.
     runner resultHolder value: resultHolder value copy.
 
     runner allButOpen.
-
-    screen := Screen current.
-    (screen notNil and:[ screen platformName == #X11 ]) ifTrue:[ 
-        "/ Use EWMH hint to tell the WM that the window is
-        "/ a sort of floating tool so WM can decorate it according to
-        "/ DE standards.
-        runner window id isNil ifTrue:[ 
-            runner window create.
-        ].
-        screen setWindowType:#'_NET_WM_WINDOW_TYPE_UTILITY' in:runner window id.      
-    ].        
+    runner window beToolWindow.
     runner open.
 
-    "Modified: / 23-09-2014 / 12:05:26 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 19-07-2017 / 08:53:58 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 !
 
 run