From 14166cf2a1ccf25dace595e0412b5066b8697a93 Mon Sep 17 00:00:00 2001
From: Jannik Dunkelau <jannik.dunkelau@hhu.de>
Date: Fri, 8 Mar 2024 11:04:21 +0100
Subject: [PATCH] Prepare server for new `prob` settings prefix
---
src/main/kotlin/b/language/server/Server.kt | 6 +++---
.../kotlin/b/language/server/communication/Communicator.kt | 2 +-
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/main/kotlin/b/language/server/Server.kt b/src/main/kotlin/b/language/server/Server.kt
index 58e6238..8711b89 100644
--- a/src/main/kotlin/b/language/server/Server.kt
+++ b/src/main/kotlin/b/language/server/Server.kt
@@ -84,10 +84,10 @@ class Server : LanguageServer, ServerInterface {
returnValue.complete(globalSettings)
returnValue
- }else{
+ } else {
val configurationItem = ConfigurationItem()
configurationItem.scopeUri = uri
- configurationItem.section = "languageServer"
+ configurationItem.section = "prob"
val requestedConfig = languageClient.configuration(ConfigurationParams(listOf(configurationItem)))
documentSettings[uri] = CompletableFuture.allOf(requestedConfig).thenApply{ castJsonToSetting(requestedConfig.get().first() as JsonObject) }
@@ -103,4 +103,4 @@ class Server : LanguageServer, ServerInterface {
-}
\ No newline at end of file
+}
diff --git a/src/main/kotlin/b/language/server/communication/Communicator.kt b/src/main/kotlin/b/language/server/communication/Communicator.kt
index a62bf74..5374c64 100644
--- a/src/main/kotlin/b/language/server/communication/Communicator.kt
+++ b/src/main/kotlin/b/language/server/communication/Communicator.kt
@@ -69,4 +69,4 @@ object Communicator : CommunicatorInterface {
override fun bufferDebugMessage(message: String, severity: MessageType) {
TODO("Not yet implemented")
}
-}
\ No newline at end of file
+}
--
GitLab