You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
But any character from r up to, and including, ( works:
Tue 24 Sep 2019 11:41:14 CEST:["--->",1,"julia",{"method":"textDocument/hover","on_notification":"---funcref---","params":{"textDocument":{"uri":"file:///home/thomas/test.jl"},"position":{"character":7,"line":0}}}]
Tue 24 Sep 2019 11:41:14 CEST:["<---",1,"julia",{"response":{"id":3,"jsonrpc":"2.0","result":{"contents":[{"language":"julia","value":"\nprintln([io::IO], xs...)\n"},"\n\nPrint (using [`print`](@ref)) `xs` followed by a newline. If `io` is not supplied, prints to [`stdout`](@ref).\n\n# Examples\n\n",{"language":"julia","value":"\njulia> println(\"Hello, world\")\nHello, world\n\njulia> io = IOBuffer();\n\njulia> println(io, \"Hello, world\")\n\njulia> String(take!(io))\n\"Hello, world\\n\"\n"},"\n"]}},"request":{"id":3,"jsonrpc":"2.0","method":"textDocument/hover","params":{"textDocument":{"uri":"file:///home/thomas/test.jl"},"position":{"character":7,"line":0}}}}]
The text was updated successfully, but these errors were encountered:
It appears there is an off-by-one when parsing the column of the
textDocument/hover
request.For example, given the following file:
Hover on
p
doesn't return anything:But any character from
r
up to, and including,(
works:The text was updated successfully, but these errors were encountered: