--- a/src/Pure/PIDE/session.scala Sat Jan 09 22:41:08 2021 +0100
+++ b/src/Pure/PIDE/session.scala Sun Jan 10 13:04:29 2021 +0100
@@ -164,7 +164,7 @@
def require_dispatcher[A](body: => A): A =
{
- require(dispatcher.check_thread)
+ require(dispatcher.check_thread, "not on dispatcher thread")
body
}
@@ -404,7 +404,7 @@
consolidate: List[Document.Node.Name] = Nil)
//{{{
{
- require(prover.defined)
+ require(prover.defined, "prover process not defined (handle_raw_edits)")
if (edits.nonEmpty) prover.get.discontinue_execution()
@@ -423,7 +423,7 @@
def handle_change(change: Session.Change)
//{{{
{
- require(prover.defined)
+ require(prover.defined, "prover process not defined (handle_change)")
// define commands
{