Looking forward to digging through the source code on this one. Pleasantly surprised that text selection with both mouse and keyboard worked intuitively and smo

Looking forward to digging through the source code on this one. Pleasantly surprised that text selection with both mouse and keyboard worked intuitively and smoothly (Ubuntu/Chrome) -- usually I'd expect this kind of trickery to break down at some boring edge case like this. Same for zooming with Ctrl+mousewheel.