#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Fri, 14 Oct 2016 19:17:58 +0200
changeset 16966 49bf0a7d03c4
parent 16965 d39ebfdb101d
child 16967 a93d9f64f049
#UI_ENHANCEMENT by cg class: WorkspaceApplication changed: #openSystemWorkspace
WorkspaceApplication.st
--- a/WorkspaceApplication.st	Fri Oct 14 17:58:12 2016 +0200
+++ b/WorkspaceApplication.st	Fri Oct 14 19:17:58 2016 +0200
@@ -4490,9 +4490,11 @@
 "/    ].
 
     device platformName == #X11 ifTrue:[
-        font := Font family:'Courier New' face:'regular' style:'roman' size:16 encoding:'iso10646-1'.
-        font := font onDevice:device ifAbsent:nil.
-            font isNil ifTrue:[    
+        OperatingSystem isOSXlike ifTrue:[
+            font := Font family:'Menlo' face:'regular' style:'roman' size:11 encoding:'iso10646-1'.
+            font := font onDevice:device ifAbsent:nil.
+        ].    
+        font isNil ifTrue:[    
             font := Font family:'DejaVuSansMono' face:'medium' style:'roman' size:16 encoding:'iso10646-1'.
             font := font onDevice:device ifAbsent:nil.
             font isNil ifTrue:[