Open ayoub-benali opened 2 years ago
Should or should not contain internal things?
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.
Typo sorry, I meant "should not".
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 values