fix error when deleting rule with selected node

eneoli · Sep 4, 2024 · 53d3faf · 53d3faf
1 parent 40e0799
commit 53d3faf
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/frontend/src/domain/visual-proof-editor/components/visual-proof-editor.tsx b/frontend/src/domain/visual-proof-editor/components/visual-proof-editor.tsx
@@ -333,6 +333,8 @@ export function VisualProofEditor(props: VisualProofEditorProps) {
         newProofTree.premisses = [];
         newProofTree.rule = null;
 
+        reasoningContext.selectedNodeId = null;
+
         replaceTreeNodeById(reasoningContext.proofTree, nodeId, newProofTree);
 
         updateReasoningContexts([