github / github/copilot-language-server-release

How should end users implement multiple edits provided by copilotInlineEdit?

Đang mở
#32 1 bình luận 0 reaction 0 người được giao Xem trên GitHub
Ngôn ngữ chính
Không có dữ liệu ngôn ngữ
Star
290
Fork
24
Chỉ số merge pull request
Không có pull request nào được merge trong 30 ngày

Mô tả

In docs for copilot-language-server, there's the following excerpt:

> textDocument/copilotInlineEdit is a custom method used to retrieve "next edit" suggestions which are inline completions that may include deletions or modifications to existing text and may not be positioned at the cursor. These are similar to inline completions and the API shape is similar as well. But it is a separate method to allow opting into the feature and distinguishing between the two kinds of suggestions.
...
The result is an object containing an edits array:

Per the following, edits should be interpreted as alternatives to be cycled through, as defined in LSP spec:
https://microsoft.github.io/language-server-protocol/specifications/lsp/3.18/specification/#textDocument_inlineCompletion
> When multiple inline completion items are returned, the client may decide whether the user can cycle through them or if they, along with their filterText, are merely for filtering if the user continues to type without yet accepting the inline completion item.

I am curious though whether this is a correct interpretation or if e.g. contents of `edits` could instead be interpreted as a sequence of suggestions to be applied (well..) consecutively.

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Hướng nghiên cứu

Bắt đầu với phần trích dẫn tài liệu của copilot-language-server và đặc tả LSP 3.18 được liên kết về inline-completion. Xác định xem mảng edits đại diện cho các phương án để chuyển đổi luân phiên hay một chuỗi được áp dụng liên tiếp, sau đó làm rõ hành vi đó trong tài liệu hoặc hướng dẫn về API. Xác nhận rằng cách diễn đạt phù hợp với hành vi dự kiến của client theo giao thức.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Đánh giá

Lĩnh vực
api, documentation
Loại issue
Tài liệu
Độ khó
3/5
Thời gian dự kiến
1-2 ngày
Mức độ hoạt động
Đình trệ
Độ rõ ràng
Cần làm rõ
Mức phù hợp với người mới
30/100

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.