You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Note that initializationOptions are typically not considered internal as user might want to tweak those in some cases. But not sure about this server specifically.
I think mixing the server settings with settings internal to the package like "selector": "source.scala", and initializationOptions are confusing.
The user should be able to disable things like decorations, etc without having to fiddle with provider values.
At least for some servers it makes sense to expose selector to allow the user to enable server on more file types. For example makes sense for LSP-eslint. Also initializationOptions in some cases control opinionated features that the user might want to toggle.
But you do as you wish. Maybe it makes sense for this server.
This file is editable by the user to tweak Metals behavior but it should not contain things like
initializationOptions
and other internal valuesThe text was updated successfully, but these errors were encountered: