Add :link-href to IDE mode docs
commit3275df6e230865d6e35761cf88d79e6cf596fc0f
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateMon 22 Jun 2015, 12:33 (11 years ago)
parent8d96041
docs/reference/ide-protocol.rst+3
@@ -174,6 +174,9 @@ The following keys are available:
174174 ``text-formatting``
175175 provides an attribute of formatted text. This is for use with natural-language text, not code, and is presently emitted only from inline documentation. The potential values are ``bold``, ``italic``, and ``underline``.
176176
177+ ``link-href``
178+ provides a URL that the corresponding text is a link to.
179+
177180 ``tt-term``
178181 A serialized representation of the Idris core term corresponding to the region of text.
179182