# HG changeset patch
# User wenzelm
# Date 1489488495 -3600
# Node ID ec9ec04546fc90c3810ca09bd5d709121ad0b26c
# Parent  68f5ebed961cb29e1fbe30ae175138d0e79a54e3
support for permanent phase_changed watcher;

diff -r 68f5ebed961c -r ec9ec04546fc src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Tue Mar 14 11:22:47 2017 +0100
+++ b/src/Pure/System/isabelle_process.scala	Tue Mar 14 11:48:15 2017 +0100
@@ -15,8 +15,12 @@
     args: List[String] = Nil,
     dirs: List[Path] = Nil,
     modes: List[String] = Nil,
-    store: Sessions.Store = Sessions.store())
+    store: Sessions.Store = Sessions.store(),
+    phase_changed: Session.Phase => Unit = null)
   {
+    if (phase_changed != null)
+      session.phase_changed += Session.Consumer("Isabelle_Process")(phase_changed)
+
     session.start(receiver =>
       Isabelle_Process(options, logic = logic, args = args, dirs = dirs, modes = modes,
         receiver = receiver, xml_cache = session.xml_cache, store = store))