Brian Schwind
Brian Schwind
Closes #17 and #176
Fixes #4397 I've only tested this locally, but I can reproduce the linked issue on `master`, but it functions correctly with this change. I noticed there is `playground.md`, and `playground.html`...
### Problem This happens in the `handleCursorMovement()` function, it seems like jquery is either not getting globally defined, maybe something to do with JS modules? ``` playground.js:489 Uncaught (in promise)...
This is quite a common format for embedded displays and such, I'm not sure why it was originally left as a TODO in the code (maybe some gotchas I'm not...
1µs was apparently too fast. Column N was still high when we were reading the first row with column N+1. Curiously, this only became an issue after rustc 1.91, so...