Skip to content
Snippets Groups Projects
Commit 14166cf2 authored by Jannik Dunkelau's avatar Jannik Dunkelau
Browse files

Prepare server for new `prob` settings prefix

parent b5f61469
No related branches found
No related tags found
No related merge requests found
Pipeline #150793 passed
Pipeline: B Language Extension

#150794

    ...@@ -87,7 +87,7 @@ class Server : LanguageServer, ServerInterface { ...@@ -87,7 +87,7 @@ class Server : LanguageServer, ServerInterface {
    } else { } else {
    val configurationItem = ConfigurationItem() val configurationItem = ConfigurationItem()
    configurationItem.scopeUri = uri configurationItem.scopeUri = uri
    configurationItem.section = "languageServer" configurationItem.section = "prob"
    val requestedConfig = languageClient.configuration(ConfigurationParams(listOf(configurationItem))) val requestedConfig = languageClient.configuration(ConfigurationParams(listOf(configurationItem)))
    documentSettings[uri] = CompletableFuture.allOf(requestedConfig).thenApply{ castJsonToSetting(requestedConfig.get().first() as JsonObject) } documentSettings[uri] = CompletableFuture.allOf(requestedConfig).thenApply{ castJsonToSetting(requestedConfig.get().first() as JsonObject) }
    ......
    0% Loading or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Please register or to comment