WorkspaceApplication.st
changeset 16966 49bf0a7d03c4
parent 16957 8560b20adf63
child 16967 a93d9f64f049
--- 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:[