From ae77bec0bf112bbcd4f39e62774ae266dad2b910 Mon Sep 17 00:00:00 2001
From: Maximilian Giller <m.giller@tu-bs.de>
Date: Wed, 28 Sep 2022 16:26:32 +0200
Subject: [PATCH] Fixed selection remaining after switching spaces

---
 src/editor/editor.tsx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/editor/editor.tsx b/src/editor/editor.tsx
index ef9a3e8..7310846 100644
--- a/src/editor/editor.tsx
+++ b/src/editor/editor.tsx
@@ -171,6 +171,7 @@ export class Editor extends React.PureComponent<any, stateTypes> {
      * @returns Promise with boolean value that is true, if successful.
      */
     public loadSpace(spaceId: string): Promise<boolean> {
+        this.selectNodes([]); // Clear selection
         return loadGraphJson(spaceId)
             .then((data: GraphData) => {
                 // Loading space might have created a new space, if requested space was not available
-- 
GitLab