-
Sub-task
-
Resolution: Obsolete
-
Major
-
None
-
None
-
None
Currently, a new language (identified by a new language id) and language server that handles it are registered as the same object: a LanguageServerLauncher. In order to have multiple languages servers for the same language, we need to separate the two concepts. Also, configuration that can occur only once, like the syntax highlighting rules, must be separated from the language server.