--- a/WorkspaceApplication.st	Sat Jun 15 08:48:39 2019 +0200
+++ b/WorkspaceApplication.st	Tue Jun 18 18:13:59 2019 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 2001 by eXept Software AG
               All Rights Reserved
@@ -4592,17 +4594,21 @@
 "/    ].
 
     device platformName == #X11 ifTrue:[
-"/        font := Font family:'DejaVuSansMono' face:'medium' style:'roman' size:16 encoding:'iso10646-1'.
-"/        font := font onDevice:device ifAbsent:nil.
+        "/        font := Font family:'DejaVuSansMono' face:'medium' style:'roman' size:16 encoding:'iso10646-1'.
+        "/        font := font onDevice:device ifAbsent:nil.
         font isNil ifTrue:[    
-            font := Font family:'FreeMono' face:'regular' style:'roman' size:16 encoding:'iso10646-1'.
+            font := Font family:'FreeMono' face:'regular' style:'roman' size:12 encoding:'iso10646-1'.
             font := font onDevice:device ifAbsent:nil.
             font isNil ifTrue:[    
-                font := Font family:'unifont' face:'medium' style:'roman' size:16 encoding:'iso10646-1'.
+                font := Font family:'unifont' face:'medium' style:'roman' size:12 encoding:'iso10646-1'.
                 font := font onDevice:device ifAbsent:nil.
                 font isNil ifTrue:[    
                     font := Font family:'arial' face:'medium' style:'roman' size:12 encoding:'iso10646-1'.
                     font := font onDevice:device ifAbsent:nil.
+                    font isNil ifTrue:[    
+                        font := Font family:'courier' face:'regular' style:'roman' size:12 encoding:'iso10646-1'.
+                        font := font onDevice:device ifAbsent:nil.
+                    ].
                 ].
             ].
         ].