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

Copilot #2316

Merged
merged 55 commits into from
Mar 31, 2023
Merged

Copilot #2316

merged 55 commits into from
Mar 31, 2023

Conversation

mikayla-maki
Copy link
Contributor

@mikayla-maki mikayla-maki commented Mar 23, 2023

This PR will, eventually, add copilot to Zed

  • Fixes a bug where window coordinates would not be calculated correctly.
  • Clarifies in the default settings documentation that the terminal reads /etc/passwd
  • Made some notification messages prettier
  • Adds integration with copilot and associated UI:
    • Adds copilot autocomplete to the editor
    • Adds a copilot status icon to the status bar
    • Adds copilot_auth::SignIn, copilot_auth::SignOut for connecting with github.
    • Adds copilot_auth::Reinstall, for re-acquiring copilot.
    • Adds a copilot::Toggle action (accessible with alt-\\) for enabling / disabling copilot on a per-buffer basis .
    • Add copilot::NextSuggestion (alt-[) and copilot::PreviousSuggestion (alt-]) for cycling through suggestions from copilot.
    • Adds a "enable_copilot_integration": true / false setting to enable/disable the copilot integration.
    • Adds a "copilot": "on" / "off" setting to both the top level and language settings, that controls whether copilot starts active or inactive by default.
    • Copilot is disabled by default on Plain Text, JSON, and Markdown languages and enabled by default in all other languages.

@mikayla-maki mikayla-maki force-pushed the copilot branch 5 times, most recently from c22f102 to cf8fe47 Compare March 28, 2023 07:12
mikayla-maki and others added 25 commits March 28, 2023 09:41
Refactor HTTP and github release downloading into util
Lazily download / upgrade the copilot LSP from Zed

Co-authored-by: Max <[email protected]>
Co-Authored-By: Antonio <[email protected]>
We still need to process them and return them into a more Zed-friendly
structure, but we're getting there.
Also, prevent multiple calls to `sign_in` from racing with each other.
There's still a bit to do in terms of reusing the previous suggestion
when the prefix matches, but we're getting there.
@mikayla-maki mikayla-maki merged commit 9b16277 into main Mar 31, 2023
@mikayla-maki mikayla-maki deleted the copilot branch March 31, 2023 01:27
@mikayla-maki mikayla-maki changed the title 🚨 WIP 🚨 Copilot Copilot Mar 31, 2023
JosephTLyons pushed a commit that referenced this pull request Mar 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants