From: Grant Rettke (grettke at acm.org) Date: Sun Jul 1 11:47:08 EDT 2007 |
|
Do any of you ever notice that once in a while the repl will get "disconnected" from the contents of the editor? This has happened to me perhaps once for every few hours that I've used DrS. What happens is that you click the run button and the repl resets, but the contents of the editor are not available to the repl. I'm not sure how to reproduce this right now, but I do know that restarting DrS fixes this.
Posted on the users mailing list. |
|