artemchernyak
2019-10-22 14:09:43
@artemchernyak has joined the channel
zenspider
2019-10-23 02:18:46
@soegaard2 I just did. Scrolling through large output in the repl seems jerkier but faster.
zenspider
2019-10-23 02:19:06
the scroll bar is definitely less smooth as you’re flipping through