Selection problem in Typewriter mode

[matteo]

@paulbradforth

Nice to have typewriter mode! I notice that if you attempt to select a word near the top or bottom of the screen by double-clicking, you can’t do it when in Typewriter mode, as the cursor jumps (correctly) to the middle of the screen. Or am I missing something?

Good spot, that’s a bug! I think we can delay the scroll a little to allow the double-click selection to register. Thanks for reporting it!