4488 "/ needRemove ifTrue:[self removeWorkspace:1]. "/ the original Workspace |
4488 "/ needRemove ifTrue:[self removeWorkspace:1]. "/ the original Workspace |
4489 "/ needRemove := false. |
4489 "/ needRemove := false. |
4490 "/ ]. |
4490 "/ ]. |
4491 |
4491 |
4492 device platformName == #X11 ifTrue:[ |
4492 device platformName == #X11 ifTrue:[ |
4493 font := Font family:'unifont' face:'medium' style:'roman' size:16 encoding:'iso10646-1'. |
4493 OperatingSystem isOSXlike ifTrue:[ |
4494 font := font onDevice:device ifAbsent:nil. |
4494 font := Font family:'Arial Unicode MS' face:'regular' style:'roman' size:11 encoding:'iso10646-1'. |
|
4495 font := font onDevice:device ifAbsent:nil. |
|
4496 font isNil ifTrue:[ |
|
4497 font := Font family:'Menlo' face:'regular' style:'roman' size:11 encoding:'iso10646-1'. |
|
4498 font := font onDevice:device ifAbsent:nil. |
|
4499 ]. |
|
4500 ]. |
4495 font isNil ifTrue:[ |
4501 font isNil ifTrue:[ |
4496 font := Font family:'arial' face:'medium' style:'roman' size:12 encoding:'iso10646-1'. |
4502 font := Font family:'DejaVuSansMono' face:'medium' style:'roman' size:16 encoding:'iso10646-1'. |
4497 font := font onDevice:device ifAbsent:nil. |
4503 font := font onDevice:device ifAbsent:nil. |
|
4504 font isNil ifTrue:[ |
|
4505 font := Font family:'FreeMono' face:'regular' style:'roman' size:16 encoding:'iso10646-1'. |
|
4506 font := font onDevice:device ifAbsent:nil. |
|
4507 font isNil ifTrue:[ |
|
4508 font := Font family:'unifont' face:'medium' style:'roman' size:16 encoding:'iso10646-1'. |
|
4509 font := font onDevice:device ifAbsent:nil. |
|
4510 font isNil ifTrue:[ |
|
4511 font := Font family:'arial' face:'medium' style:'roman' size:12 encoding:'iso10646-1'. |
|
4512 font := font onDevice:device ifAbsent:nil. |
|
4513 ]. |
|
4514 ]. |
|
4515 ]. |
4498 ]. |
4516 ]. |
4499 ] ifFalse:[ |
4517 ] ifFalse:[ |
4500 "/ font := Font family:'Arial Unicode MS' face:'medium' style:'roman' size:10 encoding:'ms-ansi'. |
4518 "/ font := Font family:'Arial Unicode MS' face:'medium' style:'roman' size:10 encoding:'ms-ansi'. |
4501 font := Font family:'arial' face:'medium' style:'roman' size:10 encoding:'ms-ansi'. |
4519 font := Font family:'arial' face:'medium' style:'roman' size:10 encoding:'ms-ansi'. |
4502 font := font onDevice:device ifAbsent:nil. |
4520 font := font onDevice:device ifAbsent:nil. |