Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix up extension API #2053

Merged
merged 4 commits into from
Aug 22, 2023
Merged

Fix up extension API #2053

merged 4 commits into from
Aug 22, 2023

Commits on Aug 22, 2023

  1. Fix up extension API

    Receive a `EditorOperationResponse` (not yet otherwise used). Delete
    dead code. Add optional `content` parameter to `NewFile`. Expose
    `CloseFile` and `SaveFile`. Fix an outdated warning message.
    andyleejordan committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    7f13a14 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    88dbfc9 View commit details
    Browse the repository at this point in the history
  3. Add Paths to workspace API for multi-root workspaces

    Since `Path` now refers to initial working directory.
    andyleejordan committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    3f2e142 View commit details
    Browse the repository at this point in the history
  4. Use separate overload instead of optional argument

    So as to now add a binary breaking change.
    
    Co-authored-by: Patrick Meinecke <[email protected]>
    andyleejordan and SeeminglyScience committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    f6245f4 View commit details
    Browse the repository at this point in the history