-
Notifications
You must be signed in to change notification settings - Fork 608
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
Plugin settings, installing new versions of plugin, getting and deleting plugin configurations #1295
Comments
There are more issues associated with plugin (user) settings and their retrieval, modification and deletion. In particular:
|
Another one particular for locally installed plugins: They are not deleted properly. Direct deletion does not seem to have an effect (no error messages either). After reverting (updating) to a Maven-hosted version and deleting of the Maven version, the old locally installed plugin-jar is still there and hinders subsequent reinstallation. |
When a serializer plugin is installed from file and user settings do exist for that plugin, the default values are not applied. This makes only sense for options that did already exist earlier. For new options however, default values should be applied.
The text was updated successfully, but these errors were encountered: