Closed michaelpj closed 2 years ago
This means that changing the settings will send didChangeConfiguration notifications to running servers, so you shouldn't have to restart the server to see the different configuration.
didChangeConfiguration
This means that changing the settings will send
didChangeConfiguration
notifications to running servers, so you shouldn't have to restart the server to see the different configuration.