propagate the terminal's displaysize
to the IOContext
used by the REPL
#1275
Loading
displaysize
to the IOContext
used by the REPL
#1275