H-6281: Fix stale closure in multi-node drags and deduplicate input checks

Use the setState updater form in mutatePetriNetDefinition so multiple
calls before a re-render each see the latest state, fixing lost position
updates during multi-node drag end. Merge duplicated isTextInput and
isInputFocused checks into a single variable to prevent drift.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: kube

libs/@hashintel/petrinaut/demo-site/main/app.tsx

@@ -113,23 +113,33 @@ export const DevApp = () => {
   const mutatePetriNetDefinition = (
     definitionMutationFn: (draft: SDCPN) => void,
   ) => {
-    if (!currentNetId || !currentNet || isOldFormatInLocalStorage(currentNet)) {
+    if (!currentNetId) {
       return;
     }
 
-    // Compute the new SDCPN synchronously so we can push it to history
-    // without relying on async state reads.
-    const newSDCPN = produce(currentNet.sdcpn, definitionMutationFn);
+    let newSDCPN: SDCPN | undefined;
 
-    setStoredSDCPNs((prev) =>
-      produce(prev, (draft) => {
-        if (draft[currentNetId]) {
-          draft[currentNetId].sdcpn = newSDCPN;
-        }
-      }),
-    );
+    // Use the updater form so that multiple calls before a re-render
+    // (e.g. multi-node drag end) each see the latest state.
+    setStoredSDCPNs((prev) => {
+      const net = prev[currentNetId];
+      if (!net || isOldFormatInLocalStorage(net)) {
+        return prev;
+      }
+      const updatedSDCPN = produce(net.sdcpn, definitionMutationFn);
+      newSDCPN = updatedSDCPN;
+      return {
+        ...prev,
+        [currentNetId]: {
+          ...net,
+          sdcpn: updatedSDCPN,
+        },
+      };
+    });
 
-    pushState(newSDCPN);
+    if (newSDCPN) {
+      pushState(newSDCPN);
+    }
   };
 
   const prevNetIdRef = useRef(currentNetId);

libs/@hashintel/petrinaut/src/views/Editor/components/BottomBar/use-keyboard-shortcuts.ts

@@ -17,17 +17,17 @@ export function useKeyboardShortcuts(
     function handleKeyDown(event: KeyboardEvent) {
       const target = event.target as HTMLElement;
 
-      // Handle undo/redo shortcuts, but let Monaco editors, inputs,
-      // textareas, and contentEditable elements handle their own undo/redo.
-      const isTextInput =
+      const isInputFocused =
         target.tagName === "INPUT" ||
         target.tagName === "TEXTAREA" ||
         target.isContentEditable ||
-        target.closest(".monaco-editor") !== null;
+        target.closest(".monaco-editor") !== null ||
+        target.closest("#sentry-feedback") !== null;
 
+      // Handle undo/redo shortcuts, but let inputs handle their own undo/redo.
       if (
         undoRedo &&
-        !isTextInput &&
+        !isInputFocused &&
         (event.metaKey || event.ctrlKey) &&
         event.key.toLowerCase() === "z"
       ) {
@@ -40,15 +40,6 @@ export function useKeyboardShortcuts(
         return;
       }
 
-      // Don't trigger if focus is in an input, textarea, contentEditable, or Monaco editor
-      const isInputFocused =
-        target.tagName === "INPUT" ||
-        target.tagName === "TEXTAREA" ||
-        target.isContentEditable ||
-        // Check if we're inside a Monaco editor
-        target.closest(".monaco-editor") !== null ||
-        target.closest("#sentry-feedback") !== null;
-
       if (isInputFocused) {
         return;
       }