[c9fcff3] set *print-right-margin* in REPL window

It didn't occur to me last time that this could also be used in REPL.