src/Pure/PIDE/editor.scala

--- a/src/Pure/PIDE/editor.scala	Wed Jun 14 16:03:02 2017 +0200
+++ b/src/Pure/PIDE/editor.scala	Fri Jun 16 15:59:27 2017 +0200
@@ -45,4 +45,12 @@
   def hyperlink_command(
     focus: Boolean, snapshot: Document.Snapshot, id: Document_ID.Generic, offset: Symbol.Offset = 0)
       : Option[Hyperlink]
+
+
+  /* dispatcher thread */
+
+  def assert_dispatcher[A](body: => A): A
+  def require_dispatcher[A](body: => A): A
+  def send_dispatcher(body: => Unit): Unit
+  def send_wait_dispatcher(body: => Unit): Unit
 }