brownplt / code.pyret.org

Website for serving Pyret to folks.
Other
24 stars 45 forks source link

CM.refresh() should be called after changing the font size or moving the center bar #333

Closed schanzer closed 4 years ago

schanzer commented 4 years ago

Every time either of these change, we completely lose the cursor. AFAICT, the only way to get it back is to randomly hit a key, then hit backspace, and then click where we wanted to be.

Every summer we have a few teachers who are driven bonkers by this. In theory the fix is just to attach CM.refresh() to those various event handlers.