src/Pure/PIDE/query_operation.scala
changeset 57612 990ffb84489b
parent 56715 52125652e82a
child 60893 3c8b9b4b577c
     1.1 --- a/src/Pure/PIDE/query_operation.scala	Wed Jul 23 11:08:24 2014 +0200
     1.2 +++ b/src/Pure/PIDE/query_operation.scala	Wed Jul 23 11:19:24 2014 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4    private val instance = Document_ID.make().toString
     1.5  
     1.6  
     1.7 -  /* implicit state -- owned by Swing thread */
     1.8 +  /* implicit state -- owned by GUI thread */
     1.9  
    1.10    @volatile private var current_location: Option[Command] = None
    1.11    @volatile private var current_query: List[String] = Nil
    1.12 @@ -62,7 +62,7 @@
    1.13  
    1.14    private def content_update()
    1.15    {
    1.16 -    Swing_Thread.require {}
    1.17 +    GUI_Thread.require {}
    1.18  
    1.19  
    1.20      /* snapshot */
    1.21 @@ -167,11 +167,11 @@
    1.22    /* query operations */
    1.23  
    1.24    def cancel_query(): Unit =
    1.25 -    Swing_Thread.require { editor.session.cancel_exec(current_exec_id) }
    1.26 +    GUI_Thread.require { editor.session.cancel_exec(current_exec_id) }
    1.27  
    1.28    def apply_query(query: List[String])
    1.29    {
    1.30 -    Swing_Thread.require {}
    1.31 +    GUI_Thread.require {}
    1.32  
    1.33      editor.current_node_snapshot(editor_context) match {
    1.34        case Some(snapshot) =>
    1.35 @@ -196,7 +196,7 @@
    1.36  
    1.37    def locate_query()
    1.38    {
    1.39 -    Swing_Thread.require {}
    1.40 +    GUI_Thread.require {}
    1.41  
    1.42      for {
    1.43        command <- current_location
    1.44 @@ -216,7 +216,7 @@
    1.45            if current_update_pending ||
    1.46              (current_status != Query_Operation.Status.FINISHED &&
    1.47                changed.commands.contains(command)) =>
    1.48 -            Swing_Thread.later { content_update() }
    1.49 +            GUI_Thread.later { content_update() }
    1.50            case _ =>
    1.51          }
    1.52      }