propagate the terminal's displaysize to the IOContext used by the REPL
#1275
| Job | Run time |
|---|---|
| 29s | |
| 29s |
displaysize to the IOContext used by the REPL
#1275
| Job | Run time |
|---|---|
| 29s | |
| 29s |