4292 ] on:Error do:[ |
4292 ] on:Error do:[ |
4293 result printString |
4293 result printString |
4294 ]. |
4294 ]. |
4295 |
4295 |
4296 resultView showCR:resultString. |
4296 resultView showCR:resultString. |
4297 9 to:1 by:-1 do:[:h| |
4297 Workspace rememberResultAsWorkspaceVariable:result. |
4298 (workspaceVariables includesKey:('_%1' bindWith:h-1)) ifTrue:[ |
|
4299 workspaceVariables |
|
4300 at:('_%1' bindWith:h) |
|
4301 put:(workspaceVariables at:('_%1' bindWith:h-1)). |
|
4302 ]. |
|
4303 ]. |
|
4304 workspaceVariables at:'_0' put:(ValueHolder with:result). |
|
4305 environmentView doUpdate. |
4298 environmentView doUpdate. |
4306 result. |
4299 result. |
4307 ]. |
4300 ]. |
4308 panel relativeCorners:#(0.4 0.6 1.0). |
4301 panel relativeCorners:#(0.4 0.6 1.0). |
4309 ^ panel |
4302 ^ panel |
4488 "/ needRemove ifTrue:[self removeWorkspace:1]. "/ the original Workspace |
4481 "/ needRemove ifTrue:[self removeWorkspace:1]. "/ the original Workspace |
4489 "/ needRemove := false. |
4482 "/ needRemove := false. |
4490 "/ ]. |
4483 "/ ]. |
4491 |
4484 |
4492 device platformName == #X11 ifTrue:[ |
4485 device platformName == #X11 ifTrue:[ |
4493 OperatingSystem isOSXlike ifTrue:[ |
4486 "/ font := Font family:'DejaVuSansMono' face:'medium' style:'roman' size:16 encoding:'iso10646-1'. |
4494 font := Font family:'Arial Unicode MS' face:'regular' style:'roman' size:11 encoding:'iso10646-1'. |
4487 "/ font := font onDevice:device ifAbsent:nil. |
|
4488 font isNil ifTrue:[ |
|
4489 font := Font family:'FreeMono' face:'regular' style:'roman' size:16 encoding:'iso10646-1'. |
4495 font := font onDevice:device ifAbsent:nil. |
4490 font := font onDevice:device ifAbsent:nil. |
4496 font isNil ifTrue:[ |
4491 font isNil ifTrue:[ |
4497 font := Font family:'Menlo' face:'regular' style:'roman' size:11 encoding:'iso10646-1'. |
4492 font := Font family:'unifont' face:'medium' style:'roman' size:16 encoding:'iso10646-1'. |
4498 font := font onDevice:device ifAbsent:nil. |
|
4499 ]. |
|
4500 ]. |
|
4501 font isNil ifTrue:[ |
|
4502 font := Font family:'DejaVuSansMono' face:'medium' style:'roman' size:16 encoding:'iso10646-1'. |
|
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. |
4493 font := font onDevice:device ifAbsent:nil. |
4507 font isNil ifTrue:[ |
4494 font isNil ifTrue:[ |
4508 font := Font family:'unifont' face:'medium' style:'roman' size:16 encoding:'iso10646-1'. |
4495 font := Font family:'arial' face:'medium' style:'roman' size:12 encoding:'iso10646-1'. |
4509 font := font onDevice:device ifAbsent:nil. |
4496 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 ]. |
4497 ]. |
4515 ]. |
4498 ]. |
4516 ]. |
4499 ]. |
4517 ] ifFalse:[ |
4500 ] ifFalse:[ |
4518 "/ font := Font family:'Arial Unicode MS' face:'medium' style:'roman' size:10 encoding:'ms-ansi'. |
4501 "/ font := Font family:'Arial Unicode MS' face:'medium' style:'roman' size:10 encoding:'ms-ansi'. |