fixed NPE in refresh diagram aciton missed in #203

kieler · Nov 21, 2024 · a80788c · a80788c
1 parent 9dd279c
commit a80788c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/...ins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramServer.xtend b/...ins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramServer.xtend
@@ -353,7 +353,9 @@ class KGraphDiagramServer extends LanguageAwareDiagramServer {
      * Tells the server that the diagram should be refreshed.
      */
     protected def handle(RefreshDiagramAction action) {
-        getOptions().putAll(action.options)
+        if (action.options !== null) {
+            getOptions().putAll(action.options)
+        }
         updateDiagram()
         return
     }