src/Pure/GUI/gui_thread.scala
16 months ago wenzelm 2017-12-04 added GUI_Thread.future (similar to JFX_GUI.Thread.future): useful for experimentation with Scala console in Isabelle/jEdit;
22 months ago wenzelm 2017-06-16 more general dispatcher operations;
2016-10-24 wenzelm 2016-10-24 discontinued unused / untested distinction of separate PIDE modules;
2016-02-04 wenzelm 2016-02-04 removed unused cancel operation;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-09-19 wenzelm 2015-09-19 allow to cancel running event; synchronized postpone operation;
2014-07-23 wenzelm 2014-07-23 tuned comments;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;