--- a/WorkspaceApplication.st	Wed Jul 24 08:01:16 2019 +0200
+++ b/WorkspaceApplication.st	Thu Jul 25 12:59:38 2019 +0200
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 2001 by eXept Software AG
               All Rights Reserved
@@ -4587,7 +4585,7 @@
 "/        needRemove := false.
 "/    ].
 
-    device platformName == #X11 ifTrue:[
+    device isX11Platform ifTrue:[
         "/        font := Font family:'DejaVuSansMono' face:'medium' style:'roman' size:16 encoding:'iso10646-1'.
         "/        font := font onDevice:device ifAbsent:nil.
         font isNil ifTrue:[    
@@ -4686,6 +4684,7 @@
 
     "Modified: / 14-02-2010 / 23:02:59 / Jan Vrany <jan.vrany@fit.cvut.cz>"
     "Modified: / 05-07-2011 / 15:34:40 / cg"
+    "Modified: / 25-07-2019 / 12:32:46 / Claus Gittinger"
 ! !
 
 !WorkspaceApplication methodsFor:'user actions'!