src/Tools/jEdit/src/theories_dockable.scala
changeset 56662 f373fb77e0a4
parent 56599 c4424d8c890f
child 56715 52125652e82a
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Tue Apr 22 23:31:45 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Tue Apr 22 23:49:15 2014 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4  
     1.5    private def handle_phase(phase: Session.Phase)
     1.6    {
     1.7 -    Swing_Thread.require()
     1.8 +    Swing_Thread.require {}
     1.9      session_phase.text = " " + phase_text(phase) + " "
    1.10    }
    1.11  
    1.12 @@ -193,7 +193,7 @@
    1.13  
    1.14    private def handle_update(restriction: Option[Set[Document.Node.Name]] = None)
    1.15    {
    1.16 -    Swing_Thread.require()
    1.17 +    Swing_Thread.require {}
    1.18  
    1.19      val snapshot = PIDE.session.snapshot()
    1.20