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