github / github/copilot-language-server-release

How should end users implement multiple edits provided by copilotInlineEdit?

Offen
#32 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Keine Sprachdaten
Sterne
290
Forks
24
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

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.

Beitragsleitfaden

Beitragsleitfaden öffnen

Rechercherichtung

Start with the copilot-language-server documentation excerpt and the linked LSP 3.18 inline-completion specification. Determine whether the edits array represents alternatives to cycle through or a sequence applied consecutively, then clarify that behavior in the documentation or API guidance. Confirm the wording matches the protocol's intended client behavior.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Bereich
api, documentation
Issue-Typ
Dokumentation
Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Aktivitätsstatus
Veraltet
Klarheit
Muss geklärt werden
Anfängerfreundlichkeit
30/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.