Skip to content

plugin manager should reload command palette after loading plugins #2889

Closed
Enhancement
Closed
plugin manager should reload command palette after loading plugins#2889
Enhancement
Assignees
fuzyll
Labels
Component: UIIssue needs changes to the user interfaceEffort: LowIssues require < 1 week of workImpact: LowIssue is a papercut or has a good, supported workaroundUI: Extension ManagerIssues with the Extension Manager
Milestone
Krypton

Description

@psifertex
psifertex
opened on Jan 28, 2022

Loading a new plugin will sometimes make that plugin available via the command-palette and sometimes not. The Plugin Manager should do this itself.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Component: UIIssue needs changes to the user interfaceEffort: LowIssues require < 1 week of workImpact: LowIssue is a papercut or has a good, supported workaroundUI: Extension ManagerIssues with the Extension Manager

Type

Enhancement

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions