From c5774f47a2714a3272ea179e245f361bbc903492 Mon Sep 17 00:00:00 2001
From: Niklas Rentz <nre@informatik.uni-kiel.de>
Date: Tue, 7 May 2024 19:17:49 +0200
Subject: [PATCH] update to KLighD 3.0.2, add MrTree Interactive features to
 language server.

---
 build/pom.xml                                            | 2 +-
 .../pragmatics/language/server/PragmaticsLsCreator.xtend | 9 +++++++--
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/build/pom.xml b/build/pom.xml
index 79844c1f77..098b38a32c 100644
--- a/build/pom.xml
+++ b/build/pom.xml
@@ -13,7 +13,7 @@
     <elk-version>0.9.1</elk-version>
     <gson-version>2.10.1</gson-version>
     <guice-version>7.0.0</guice-version>
-    <klighd-version>3.0.1.v20240410</klighd-version>
+    <klighd-version>3.0.2.v20240507</klighd-version>
     <lsp4j-version>0.22.0</lsp4j-version>
     <tycho-version>2.7.3</tycho-version>
     <xtend-version>2.33.0</xtend-version>
diff --git a/plugins/de.cau.cs.kieler.pragmatics.language.server/src/de/cau/cs/kieler/pragmatics/language/server/PragmaticsLsCreator.xtend b/plugins/de.cau.cs.kieler.pragmatics.language.server/src/de/cau/cs/kieler/pragmatics/language/server/PragmaticsLsCreator.xtend
index 0abf809d7b..46d13bd1d4 100644
--- a/plugins/de.cau.cs.kieler.pragmatics.language.server/src/de/cau/cs/kieler/pragmatics/language/server/PragmaticsLsCreator.xtend
+++ b/plugins/de.cau.cs.kieler.pragmatics.language.server/src/de/cau/cs/kieler/pragmatics/language/server/PragmaticsLsCreator.xtend
@@ -3,7 +3,7 @@
  * 
  * http://rtsys.informatik.uni-kiel.de/kieler
  * 
- * Copyright 2019, 2020 by
+ * Copyright 2019-2024 by
  * + Kiel University
  *   + Department of Computer Science
  *     + Real-Time and Embedded Systems Group
@@ -14,6 +14,7 @@ package de.cau.cs.kieler.pragmatics.language.server
 
 import de.cau.cs.kieler.klighd.lsp.KGraphLanguageClient
 import de.cau.cs.kieler.klighd.lsp.interactive.layered.LayeredInteractiveLanguageServerExtension
+import de.cau.cs.kieler.klighd.lsp.interactive.mrtree.MrTreeInteractiveLanguageServerExtension
 import de.cau.cs.kieler.klighd.lsp.interactive.rectpacking.RectpackingInteractiveLanguageServerExtension
 import de.cau.cs.kieler.klighd.lsp.launch.AbstractLsCreator
 
@@ -29,11 +30,14 @@ class PragmaticsLsCreator extends AbstractLsCreator {
     
     RectpackingInteractiveLanguageServerExtension rectPack
     
+    MrTreeInteractiveLanguageServerExtension mrTree
+    
     override getLanguageServerExtensions() {
         constraints = injector.getInstance(LayeredInteractiveLanguageServerExtension)
         rectPack = injector.getInstance(RectpackingInteractiveLanguageServerExtension)
+        mrTree = injector.getInstance(MrTreeInteractiveLanguageServerExtension)
         val iLanguageServerExtensions = newArrayList(
-            injector.getInstance(PragmaticsRegistrationLanguageServerExtension), constraints, rectPack
+            injector.getInstance(PragmaticsRegistrationLanguageServerExtension), constraints, rectPack, mrTree
         )
         return iLanguageServerExtensions
     }
@@ -46,6 +50,7 @@ class PragmaticsLsCreator extends AbstractLsCreator {
         super.onConnect()
         constraints.client = languageClient
         rectPack.client = languageClient
+        mrTree.client = languageClient
     }
     
 }