--- a/src/Tools/jEdit/src/theories_dockable.scala Tue Apr 22 23:31:45 2014 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala Tue Apr 22 23:49:15 2014 +0200
@@ -74,7 +74,7 @@
private def handle_phase(phase: Session.Phase)
{
- Swing_Thread.require()
+ Swing_Thread.require {}
session_phase.text = " " + phase_text(phase) + " "
}
@@ -193,7 +193,7 @@
private def handle_update(restriction: Option[Set[Document.Node.Name]] = None)
{
- Swing_Thread.require()
+ Swing_Thread.require {}
val snapshot = PIDE.session.snapshot()