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.

Sign up for GitHub

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

Jump to bottom

Feature request: Plugin manager #19

Closed
sillydan1 opened this issue Nov 7, 2023 · 1 comment
Closed

Feature request: Plugin manager #19

sillydan1 opened this issue Nov 7, 2023 · 1 comment
Assignees
@sillydan1
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@sillydan1
Copy link
Owner

It would be nice if we had a first-party plugin manager, so users can enable / disable plugins at runtime and maybe search on a "marketplace" for plugins. The Standard plugins should be disable-able, but not uninstallable.

I personally dont have any experience with this, so any help would be much appreciated.
@sillydan1 sillydan1 added enhancement New feature or request help wanted Extra attention is needed labels Nov 7, 2023
@sillydan1 sillydan1 moved this to In Progress in Graphedit Dec 7, 2023
@sillydan1 sillydan1 self-assigned this Dec 7, 2023
@sillydan1
Copy link
Owner Author

Added a rudimentary plugin manager in #24 Will close for now, but it would still be nice if there was a marketplace like the one for VSCode or something similar to lazy.nvim.

@github-project-automation github-project-automation bot moved this from In Progress to Done in Graphedit Dec 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sillydan1 sillydan1

Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
Graphedit
Archived in project
Milestone
No milestone
Development

No branches or pull requests
1 participant
@sillydan1