# HG changeset patch
# User wenzelm
# Date 1482488368 -3600
# Node ID c64b258f6801e94584433f26fd319ac7671e6ad3
# Parent  fb42c780d903ffc8c6d0afa8e2f58962a06a7fa5
removed junk;

diff -r fb42c780d903 -r c64b258f6801 src/Tools/VSCode/src/vscode_rendering.scala
--- a/src/Tools/VSCode/src/vscode_rendering.scala	Thu Dec 22 11:55:22 2016 +0100
+++ b/src/Tools/VSCode/src/vscode_rendering.scala	Fri Dec 23 11:19:28 2016 +0100
@@ -40,19 +40,7 @@
             val file = resources.append_file_url(snapshot.node_name.master_dir, name)
             Some(Line.Node_Range(file) :: links)
 
-/* FIXME
-          case (links, Text.Info(info_range, XML.Elem(Markup(Markup.ENTITY, props), _)))
-          if !props.exists(
-            { case (Markup.KIND, Markup.ML_OPEN) => true
-              case (Markup.KIND, Markup.ML_STRUCTURE) => true
-              case _ => false }) =>
-            val opt_link = PIDE.editor.hyperlink_def_position(true, snapshot, props)
-            opt_link.map(_ :: links)
-
-          case (links, Text.Info(info_range, XML.Elem(Markup(Markup.POSITION, props), _))) =>
-            val opt_link = PIDE.editor.hyperlink_position(true, snapshot, props)
-            opt_link.map(_ :: links)
-*/
+          // FIXME more cases
 
           case _ => None
         }) match { case Text.Info(_, links) :: _ => links.reverse case _ => Nil }