adapted to 3869b2400e22;

--- a/src/Tools/VSCode/src/protocol.scala	Sat Mar 10 14:20:27 2018 +0100
+++ b/src/Tools/VSCode/src/protocol.scala	Sat Mar 10 14:43:15 2018 +0100
@@ -616,7 +616,7 @@
     {
       val entries =
         for ((sym, code) <- Symbol.codes)
-        yield Map("symbol" -> sym, "name" -> Symbol.names(sym), "code" -> code)
+        yield Map("symbol" -> sym, "name" -> Symbol.names(sym)._1, "code" -> code)
       Notification("PIDE/symbols", Map("entries" -> entries))
     }
   }