src/Pure/PIDE/query_operation.scala

     GUI_Thread.require {}
 
     for {
       command <- current_location
       snapshot = editor.node_snapshot(command.node_name)
-      link <- editor.hyperlink_command(snapshot, command)
+      link <- editor.hyperlink_command(true, snapshot, command)
     } link.follow(editor_context)
   }
 
 
   /* main */