src/Tools/VSCode/src/server.scala

--- a/src/Tools/VSCode/src/server.scala	Thu Jun 29 14:39:24 2017 +0200
+++ b/src/Tools/VSCode/src/server.scala	Thu Jun 29 15:12:40 2017 +0200
@@ -531,8 +531,11 @@
       offset: Symbol.Offset = 0): Option[Hyperlink] =
     {
       if (snapshot.is_outdated) None
-      else snapshot.find_command_position(id, offset).map(node_pos =>
-        new Hyperlink { def follow(unit: Unit) { channel.write(Protocol.Caret_Update(node_pos)) } })
+      else
+        snapshot.find_command_position(id, offset).map(node_pos =>
+          new Hyperlink {
+            def follow(unit: Unit) { channel.write(Protocol.Caret_Update(node_pos, focus)) }
+          })
     }