src/Tools/jEdit/src/theories_dockable.scala
changeset 57612 990ffb84489b
parent 56715 52125652e82a
child 57615 df1b3452d71c
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Wed Jul 23 11:08:24 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Wed Jul 23 11:19:24 2014 +0200
     1.3 @@ -73,7 +73,7 @@
     1.4  
     1.5    private def handle_phase(phase: Session.Phase)
     1.6    {
     1.7 -    Swing_Thread.require {}
     1.8 +    GUI_Thread.require {}
     1.9      session_phase.text = " " + phase_text(phase) + " "
    1.10    }
    1.11  
    1.12 @@ -87,7 +87,7 @@
    1.13    add(controls.peer, BorderLayout.NORTH)
    1.14  
    1.15  
    1.16 -  /* component state -- owned by Swing thread */
    1.17 +  /* component state -- owned by GUI thread */
    1.18  
    1.19    private var nodes_status: Map[Document.Node.Name, Protocol.Node_Status] = Map.empty
    1.20    private var nodes_required: Set[Document.Node.Name] = Set.empty
    1.21 @@ -192,7 +192,7 @@
    1.22  
    1.23    private def handle_update(restriction: Option[Set[Document.Node.Name]] = None)
    1.24    {
    1.25 -    Swing_Thread.require {}
    1.26 +    GUI_Thread.require {}
    1.27  
    1.28      val snapshot = PIDE.session.snapshot()
    1.29  
    1.30 @@ -220,10 +220,10 @@
    1.31    private val main =
    1.32      Session.Consumer[Any](getClass.getName) {
    1.33        case phase: Session.Phase =>
    1.34 -        Swing_Thread.later { handle_phase(phase) }
    1.35 +        GUI_Thread.later { handle_phase(phase) }
    1.36  
    1.37        case _: Session.Global_Options =>
    1.38 -        Swing_Thread.later {
    1.39 +        GUI_Thread.later {
    1.40            continuous_checking.load()
    1.41            logic.load ()
    1.42            update_nodes_required()
    1.43 @@ -231,7 +231,7 @@
    1.44          }
    1.45  
    1.46        case changed: Session.Commands_Changed =>
    1.47 -        Swing_Thread.later { handle_update(Some(changed.nodes)) }
    1.48 +        GUI_Thread.later { handle_update(Some(changed.nodes)) }
    1.49      }
    1.50  
    1.51    override def init()