on master help sign in
Update ide-protocol.rst

fixes typo

commit1faecf81c2e381af9a81e52e22cf5909e5d031af authorAndrei Dziahel <develop7@develop7.info> dateMon 1 Jun 2015, 11:15 (11 years ago) parentdd4e9f0
1 file changed+1−1
docs/reference/ide-protocol.rst+1−1
docs/reference/ide-protocol.rst+1−1
@@ -188,4 +188,4 @@ They have the format:::
188188
189189 (:output (:ok (:highlight-source POSNS)))
190190
191−where ``POSNS``is a list of positions to highlight. Each of these is a two-element list whose first element is a position (encoded as for the ``source-loc`` property above) and whose second element is highlighting metadata in the same format used for output.
191+where ``POSNS`` is a list of positions to highlight. Each of these is a two-element list whose first element is a position (encoded as for the ``source-loc`` property above) and whose second element is highlighting metadata in the same format used for output.