There’s a choice to be made regarding the behavior of Notebooks.
You’re working away on SWISH and set a long running query going. Not wishing to wait around for it you scroll down the page. Unfortunately your Pengine thread dies, but SWISH is kind enough to scroll you back to the query to alert you of this.
You’re studying some topic in SWISH, you run a nondet query and get an answer. But, perhaps because you’re new to SWISH or through carelessness, you haven’t hit “Stop” on the query so your Pengine thread is still alive. You’re carrying on your studies when the Pengine thread timeouts and dies. SWISH scrolls you back to the query to alert you to this, which is an annoying interruption to your studies.
So the question is, what do we do when the Pengine thread dies?
- Don’t Scroll