src/Tools/VSCode/src/server.scala
changeset 64747 54afac94f52b
parent 64737 9fc965612459
child 64748 155bf8632104
     1.1 --- a/src/Tools/VSCode/src/server.scala	Mon Jan 02 10:59:46 2017 +0100
     1.2 +++ b/src/Tools/VSCode/src/server.scala	Mon Jan 02 11:26:26 2017 +0100
     1.3 @@ -285,7 +285,7 @@
     1.4          val doc = rendering.model.doc
     1.5          val range = doc.range(info.range)
     1.6          val s = Pretty.string_of(info.info, margin = rendering.tooltip_margin)
     1.7 -        (range, List("```\n" + s + "\n```"))  // FIXME proper content format
     1.8 +        (range, List(s))
     1.9        }
    1.10      channel.write(Protocol.Hover.reply(id, result))
    1.11    }