diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-07-14 18:00:40 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-07-14 18:00:40 +0800 |
| commit | 6c750bc0fcd0c76282ab61367d661c5e49844253 (patch) | |
| tree | 281d3511cdba3533657adf95bff3eb5dfcb38619 /script/core | |
| parent | 9ad3fdce5bd6c889f5734eddd04708595e1fa621 (diff) | |
| download | lua-language-server-6c750bc0fcd0c76282ab61367d661c5e49844253.zip | |
support char
Diffstat (limited to 'script/core')
| -rw-r--r-- | script/core/jump-source.lua | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/script/core/jump-source.lua b/script/core/jump-source.lua index 76d7324b..15afae39 100644 --- a/script/core/jump-source.lua +++ b/script/core/jump-source.lua @@ -8,8 +8,8 @@ return function (results) if doc then result.uri = doc.source result.target.uri = doc.source - result.target.start = guide.positionOf(doc.line - 1, 0) - result.target.finish = guide.positionOf(doc.line - 1, 0) + result.target.start = guide.positionOf(doc.line - 1, doc.char) + result.target.finish = guide.positionOf(doc.line - 1, doc.char) end else local target = result.target @@ -23,8 +23,8 @@ return function (results) and doc.bindSource == target then result.uri = doc.source result.target.uri = doc.source - result.target.start = guide.positionOf(doc.line - 1, 0) - result.target.finish = guide.positionOf(doc.line - 1, 0) + result.target.start = guide.positionOf(doc.line - 1, doc.char) + result.target.finish = guide.positionOf(doc.line - 1, doc.char) end end end |