--- 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:[