Cursor jumps to start of textbox

[insperatum]

We're using a WebPPL editor for class assignments, and some students have complained that the cursor is jumping back to the start of the textbox while they're editing.

This only happens after webppl has thrown an error. I've tracked it down, and commenting out this line fixes it for us:

webppl-editor/src/index.js

Line 551 in c9cd579

runClockId = setInterval(function() {

What's the run clock for? Is there a reason we shouldn't comment this line out?

Cheers,
Luke

[longouyang]

The run clock measures how long a webppl program has been running for. If you click the little triangle below the code box, you'll see the runtime measurement as well as other info useful for debugging:

It's not essential, so you can certainly comment that line out.

I can't reproduce the cursor problem -- can you send me some code that results in this problem? Also, are you guys running the editor on webppl.org or some other page?

[longouyang]

Nudging @insperatum

[insperatum]

Hey, thanks for getting back to me. We're not running the editor on webppl.org, but set up our own page to host problem sets for Josh Tenenbaum's class.

It's working now that the run clock stuff has been commented out :)

Best,
Luke