Merge pull request #2386 from zed-industries/copilot-shipping

Get copilot ready to ship
2023-04-20 12:38:27 +12:00
parent 699b2060b3 26ab774b7f
commit dd73233973
9 changed files with 334 additions and 189 deletions
@@ -178,7 +178,7 @@
                    "focus": false
                }
            ],
-            "alt-\\": "copilot::NextSuggestion",
+            "alt-\\": "copilot::Suggest",
            "alt-]": "copilot::NextSuggestion",
            "alt-[": "copilot::PreviousSuggestion"
        }