-
-
Notifications
You must be signed in to change notification settings - Fork 7.2k
Labels
.contrib/good first issueIssue suitable for first-time contributorsIssue suitable for first-time contributorsarea:extensions/infrastructureFeedback for extensions APIs, creation, management, etcFeedback for extensions APIs, creation, management, etcmeta:easy repro stepsSteps to reproduce are easySteps to reproduce are easy
Description
Reproduction steps
- Start Zed
- Open extensions.
Zed: Extensionscommand - Enable
Installedfilter for ease - Find extensions with pending
Upgrade. - Click
Uninstallbutton on that extension
Current vs. Expected behavior
I've expected it to be able to delete extension regardless of its state, but currently it requires you to upgrade it first and then you can uninstall it.
Zed version and system specs
Zed 0.220.6
6a75953
0.220.6+stable.133.6a75953cd3a6512d120cf6d3cc96eeaa14f827ff
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
.contrib/good first issueIssue suitable for first-time contributorsIssue suitable for first-time contributorsarea:extensions/infrastructureFeedback for extensions APIs, creation, management, etcFeedback for extensions APIs, creation, management, etcmeta:easy repro stepsSteps to reproduce are easySteps to reproduce are easy