From a80788c173c4f0ee5612136d06b346e525ef44a8 Mon Sep 17 00:00:00 2001
From: Niklas Rentz <nre@informatik.uni-kiel.de>
Date: Thu, 21 Nov 2024 11:04:32 +0100
Subject: [PATCH] fixed NPE in refresh diagram aciton missed in #203

---
 .../src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramServer.xtend | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramServer.xtend b/plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramServer.xtend
index b44aa6136..bd09ac095 100644
--- a/plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramServer.xtend
+++ b/plugins/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
     }