src/Pure/GUI/gui_thread.scala

--- a/src/Pure/GUI/gui_thread.scala	Mon Apr 06 12:36:00 2020 +0200
+++ b/src/Pure/GUI/gui_thread.scala	Mon Apr 06 12:53:45 2020 +0200
@@ -54,13 +54,4 @@
       promise
     }
   }
-
-
-  /* delayed events */
-
-  def delay_first(delay: => Time)(event: => Unit): Isabelle_Thread.Delay =
-    Isabelle_Thread.delay_first(delay) { later { event } }
-
-  def delay_last(delay: => Time)(event: => Unit): Isabelle_Thread.Delay =
-    Isabelle_Thread.delay_last(delay) { later { event } }
 }