Zengtudor/ccls
1
0
Fork 0
mirror of https://github.com/MaskRay/ccls.git synced 2024-11-30 03:17:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix completion result sorting in VSCode (#210)

Browse Source 
Fix #207
This commit is contained in:
Riatre Foo 2019-01-30 23:21:40 +08:00 committed by Fangrui Song
parent c4cc5d2697
commit b5b7e9b7e2
1 changed files with 30 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
src/messages/textDocument_completion.cc
View File

@ -122,6 +122,23 @@ void FilterCandidates(CompletionList &result, const std::string &complete_text,
result.isIncomplete = true;
}
int overwrite_len = 0;
for (auto &item : items) {
auto &edits = item.additionalTextEdits;
if (edits.size() && edits[0].range.end == begin_pos) {
Position start = edits[0].range.start, end = edits[0].range.end;
if (start.line == begin_pos.line) {
overwrite_len =
std::max(overwrite_len, end.character - start.character);
} else {
overwrite_len = -1;
break;
}
}
}
Position overwrite_begin = {begin_pos.line,
begin_pos.character - overwrite_len};
std::string sort(4, ' ');
for (auto &item : items) {
item.textEdit.range = lsRange{begin_pos, end_pos};
@ -130,17 +147,20 @@ void FilterCandidates(CompletionList &result, const std::string &complete_text,
// https://github.com/Microsoft/language-server-protocol/issues/543
// Order of textEdit and additionalTextEdits is unspecified.
auto &edits = item.additionalTextEdits;
if (edits.size() && edits[0].range.end == begin_pos) {
Position start = edits[0].range.start, end = edits[0].range.end;
item.textEdit.range.start = start;
item.textEdit.newText = edits[0].newText + item.textEdit.newText;
if (start.line == begin_pos.line) {
item.filterText =
buffer_line.substr(start.character,
end.character - start.character) +
item.filterText;
if (overwrite_len > 0) {
item.textEdit.range.start = overwrite_begin;
std::string orig = buffer_line.substr(overwrite_begin.character, overwrite_len);
if (edits.size() && edits[0].range.end == begin_pos &&
edits[0].range.start.line == begin_pos.line) {
int cur_edit_len = edits[0].range.end.character - edits[0].range.start.character;
item.textEdit.newText =
buffer_line.substr(overwrite_begin.character, overwrite_len - cur_edit_len) +
edits[0].newText + item.textEdit.newText;
edits.erase(edits.begin());
} else {
item.textEdit.newText = orig + item.textEdit.newText;
}
edits.erase(edits.begin());
item.filterText = orig + item.filterText;
}
if (item.filterText == item.label)
item.filterText.clear();