Closed peterkroon closed 12 years ago
In addition:
I used the same settings as on http://codemirror.net/mode/javascript/index.html
I just placed the entire codemirror.js file in the textarea and replaced <
with <
In even more addition: This does not happen when you paste the lib in the editor. Scrolling seems fine then.
Update, I've altered the demo so that it's using the same codemirror.js file as on http://www.codemirror.net/
Could you try to see if you can still reproduce with that patch? (I can't, but I could only reproduce intermittently before, so I'm not sure I really got to the root of it.)
Fixed!
I can confirm fixed too -- I was seeing this in Chrome just by pasting codemirror.js into the theme.html demo and then dragging the thumb downwards quickly. It reproduces consistently for me up through 853794a but no longer repros in c61b8cd.
OK! Well, I din't try the theme demo. Thanks for confirming.
I was unable to set this demo up at JSBin so I had host it myself. I used the development snapshot. Go to: http://5060.nl/codemirror/CodeMirror2/mode/javascript/index.html