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

Allow installed plugins to be disabled, e.g. via Preferences checkboxes #15

Open
dbenn opened this issue May 30, 2020 · 1 comment
Open
Labels
enhancement New feature or request

Comments

@dbenn
Copy link
Collaborator

dbenn commented May 30, 2020

This will allow us to turn on/off particular plugins to see where problems may exist rather than all or nothing.

@dbenn dbenn added the enhancement New feature or request label Oct 6, 2021
@dbenn
Copy link
Collaborator Author

dbenn commented Apr 27, 2024

This would be satisfied by #192 but is distinct from it.

This could also be the basis of a default preference pane for each plugin (see #334).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Development

No branches or pull requests

1 participant