H-6281, FE-501: Add undo/redo support to Petrinaut demo app by kube · Pull Request #8505 · hashintel/hash

kube · 2026-03-04T22:04:30Z

🌟 What is the purpose of this PR?

Adds undo/redo support to the Petrinaut demo app. Having history tracking is useful both for day-to-day model editing and as groundwork for upcoming versioning/diffing features.

🔗 Related links

H-6281 (internal)

🔍 What does this change?

Adds a useUndoRedo hook in the demo app that manages a stack of full SDCPN snapshots (max 50), with 500ms debounce for drag coalescing and no-op detection
Adds an optional undoRedo prop to <Petrinaut>, gated behind a React context — UI only renders when provided
Adds undo/redo IconButtons and a version history popover to the top bar
Adds Cmd/Ctrl+Z and Cmd/Ctrl+Shift+Z keyboard shortcuts (Monaco editors handle their own undo)
Fixes a bug where dragging state persisted in EditorContext after drag end, causing stale positions to reappear after undo
Removes window.confirm dialogs before deletions — undo makes them unnecessary

Pre-Merge Checklist 🚀

🚢 Has this modified a publishable library?

This PR:

modifies an npm-publishable library and I have added a changeset file(s)

📜 Does this require a change to the docs?

The changes in this PR:

are internal and do not require a docs change

🕸️ Does this require a change to the Turbo Graph?

The changes in this PR:

do not affect the execution graph

❓ How to test this?

cd libs/@hashintel/petrinaut && yarn dev
Make edits (add place, move it, rename, add transition, connect arcs)
Cmd+Z should undo each edit; Cmd+Shift+Z should redo
Click the version history clock button — should show timestamped entries
Click an older entry — should restore that state
Drag a node — should create only one history entry (not per-pixel)
Edit code in Monaco — Cmd+Z should undo within Monaco, not the SDCPN
Delete a place/transition — should happen immediately without confirmation, and be undoable

vercel · 2026-03-04T22:04:36Z

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
hash	Ready	Preview, Comment	Mar 9, 2026 5:51pm
petrinaut	Ready	Preview, Comment	Mar 9, 2026 5:51pm

2 Skipped Deployments

Project	Deployment	Actions	Updated (UTC)
hashdotdesign	Ignored	Preview	Mar 9, 2026 5:51pm
hashdotdesign-tokens	Ignored	Preview	Mar 9, 2026 5:51pm

kube · 2026-03-04T22:04:44Z

H-6281, FE-501: Add undo/redo support to Petrinaut demo app #8505 👈 (View in Graphite)
H-5641: Probability Distributions in Petrinaut #8463
FE-225, H-6116, H-6286: Update Petrinaut UI #8472 : 1 other dependent PR (#8509 )
H-5839, FE-488: Petrinaut: LSP-like interface for Diagnostics and Code Editor #8300
FE-223, H-5780, H-6227: Setup Petrinaut inside HASH + Build with Vite 8 and TypeScript 7 #8369
main

This stack of pull requests is managed by Graphite. Learn more about stacking.

cursor · 2026-03-04T22:17:18Z

PR Summary

Medium Risk
Adds new optional undo/redo wiring, global keyboard shortcuts, and state/history tracking that can affect editor interaction flow (especially around drag events and navigation). Changes are gated behind an undoRedo prop but also adjust core editor behavior (drag state cleanup, deletion confirmations, menu behavior).

Overview
Adds an optional undoRedo prop to <Petrinaut> that provides undo/redo + history navigation via a new UndoRedoContext, enabling Cmd/Ctrl+Z and Cmd/Ctrl+Shift+Z shortcuts (outside inputs/Monaco) and a top-bar version history menu.

Updates the demo app to track SDCPN snapshot history (useUndoRedo, max 50 entries) with no-op detection, 500ms debounced coalescing for drag-heavy edits, and history reset on net switch.

Fixes a drag bug by clearing per-node dragging state on drag end to avoid stale positions reapplying after undo, removes pre-delete window.confirm prompts (relying on undo instead), and extends Menu with maxHeight (scrolling) and closeOnSelect to support the history popover.

^{Written by Cursor Bugbot for commit b765bb1. This will update automatically on new commits. Configure here.}

augmentcode · 2026-03-04T22:20:22Z

🤖 Augment PR Summary

Summary: Adds optional undo/redo support to the Petrinaut demo/editor, including UI controls, keyboard shortcuts, and a simple version-history viewer.

Changes:

Introduces a useUndoRedo hook that tracks a bounded snapshot history (max 50) with no-op detection and debounced coalescing.
Plumbs an optional undoRedo prop into <Petrinaut> via a new React context, so undo UI only renders when provided.
Adds top-bar undo/redo buttons plus a “Version History” popover listing timestamped entries and allowing jumps to prior versions.
Registers Cmd/Ctrl+Z and Cmd/Ctrl+Shift+Z shortcuts for SDCPN undo/redo (Monaco editors keep their own undo stack).
Fixes a drag-state bug by clearing per-node dragging state on drag end to avoid stale positions being re-applied after undo.

Technical Notes: History entries store full SDCPN snapshots with ISO timestamps; the provider exposes canUndo/canRedo, a current index, and a navigation callback for the popover.

_{🤖 Was this summary useful? React with 👍 or 👎}

augmentcode

Review completed. 3 suggestions posted.

Comment augment review to trigger a new review at any time.

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

libs/@hashintel/petrinaut/demo-site/main/app/use-undo-redo.ts

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

libs/@hashintel/petrinaut/demo-site/main/app/use-undo-redo.ts

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

libs/@hashintel/petrinaut/demo-site/main/app/use-undo-redo.ts

libs/@hashintel/petrinaut/src/views/Editor/components/TopBar/version-history-button.tsx

.changeset/undo-redo-support.md

libs/@hashintel/petrinaut/src/views/Editor/components/TopBar/version-history-button.tsx

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

Consumer-side history management via useUndoRedo hook with full SDCPN snapshots, 500ms debounce for drag coalescing, and no-op detection. Petrinaut library accepts optional undoRedo props and renders UI (toolbar buttons, keyboard shortcuts, version history popover) only when provided. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

…store After undo, ReactFlow could re-apply the old dragged position because the draggingStateByNodeId entry persisted with the pre-undo coordinates. Now the entry is removed when drag completes, so subsequent position changes correctly bail out via the !lastPosition guard. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

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

Now that undo/redo is available, confirmation prompts before deleting places, transitions, types, equations, parameters, and type elements are unnecessary friction — users can simply undo if needed. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Remove standalone undo/redo icon buttons from the TopBar, keeping only the version history button. Rewrite VersionHistoryButton to use the Menu component instead of a custom Popover, with a checkmark icon on the current version and flex layout for menu item suffixes. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

- Skip undo/redo shortcut when focus is in input/textarea/contentEditable so native text undo works in form fields - Clear debounce timer on undo/redo/goToIndex to prevent history corruption when editing within a debounce window after undoing - Compute new SDCPN synchronously via produce instead of reading from a ref in queueMicrotask, which could read stale state Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

…hecks 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>

Show HH:mm:ss timestamps instead of labels, add scrollable max height, and keep menu open on item selection. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

cursor

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, enable autofix in the Cursor dashboard.}

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

kube mentioned this pull request Mar 4, 2026

FE-225, H-6116, H-6286: Update Petrinaut UI #8472

Merged

3 tasks

github-actions bot added area/libs Relates to first-party libraries/crates/packages (area) type/eng > frontend Owned by the @frontend team labels Mar 4, 2026

This was referenced Mar 4, 2026

H-5839, FE-488: Petrinaut: LSP-like interface for Diagnostics and Code Editor #8300

Merged

FE-223, H-5780, H-6227: Setup Petrinaut inside HASH + Build with Vite 8 and TypeScript 7 #8369

Merged

H-5641: Probability Distributions in Petrinaut #8463

Merged

vercel bot deployed to Preview – petrinaut March 4, 2026 22:07 View deployment

github-actions bot added the area/infra Relates to version control, CI, CD or IaC (area) label Mar 4, 2026

vercel bot deployed to Preview – petrinaut March 4, 2026 22:14 View deployment

kube marked this pull request as ready for review March 4, 2026 22:17

graphite-app bot assigned kube Mar 4, 2026

vercel bot had a problem deploying to Preview – hash March 4, 2026 22:18 Failure

kube force-pushed the cf/h-5641-add-input-for-probabilistic-transition-kernels branch from ec0176c to 5a2c7fb Compare March 4, 2026 22:18

kube force-pushed the cf/h-6281-basic-undoredo-in-petrinaut-demo-app branch from 4448449 to 0ad0be7 Compare March 4, 2026 22:18

augmentcode bot reviewed Mar 4, 2026

View reviewed changes

libs/@hashintel/petrinaut/demo-site/main/app.tsx Outdated Show resolved Hide resolved

libs/@hashintel/petrinaut/demo-site/main/app/use-undo-redo.ts Show resolved Hide resolved

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

vercel bot deployed to Preview – petrinaut March 4, 2026 22:21 View deployment

cursor bot reviewed Mar 4, 2026

View reviewed changes

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

libs/@hashintel/petrinaut/demo-site/main/app/use-undo-redo.ts Show resolved Hide resolved

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

vercel bot had a problem deploying to Preview – hash March 4, 2026 22:31 Failure

graphite-app bot reviewed Mar 4, 2026

View reviewed changes

libs/@hashintel/petrinaut/demo-site/main/app/use-undo-redo.ts Show resolved Hide resolved

kube changed the title ~~H-6281: Add undo/redo support to Petrinaut demo app~~ H-6281, FE-501: Add undo/redo support to Petrinaut demo app Mar 5, 2026

kube force-pushed the cf/h-6281-basic-undoredo-in-petrinaut-demo-app branch from 0ad0be7 to beffe8b Compare March 5, 2026 18:10

kube force-pushed the cf/h-5641-add-input-for-probabilistic-transition-kernels branch from 5a2c7fb to 363cd18 Compare March 5, 2026 18:10

vercel bot deployed to Preview – petrinaut March 5, 2026 18:14 View deployment

kube force-pushed the cf/h-6281-basic-undoredo-in-petrinaut-demo-app branch from beffe8b to fdf9954 Compare March 5, 2026 18:25

kube force-pushed the cf/h-5641-add-input-for-probabilistic-transition-kernels branch from 363cd18 to a15bf3d Compare March 5, 2026 18:25

vercel bot deployed to Preview – petrinaut March 5, 2026 18:28 View deployment

kube changed the base branch from graphite-base/8505 to cf/h-5641-add-input-for-probabilistic-transition-kernels March 9, 2026 12:48

vercel bot deployed to Preview – petrinaut March 9, 2026 12:51 View deployment

vercel bot deployed to Preview – hash March 9, 2026 12:55 View deployment

cursor bot reviewed Mar 9, 2026

View reviewed changes

libs/@hashintel/petrinaut/src/views/Editor/components/TopBar/version-history-button.tsx Show resolved Hide resolved

CiaranMn reviewed Mar 9, 2026

View reviewed changes

.changeset/undo-redo-support.md Outdated Show resolved Hide resolved

libs/@hashintel/petrinaut/src/views/Editor/components/TopBar/version-history-button.tsx Outdated Show resolved Hide resolved

Rename defect_threshold to quality_threshold in supply chain example

0e399ad

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

kube changed the base branch from cf/h-5641-add-input-for-probabilistic-transition-kernels to graphite-base/8505 March 9, 2026 16:47

kube and others added 12 commits March 9, 2026 18:17

Fix

676b471

Fix

7d91cc5

Last fix

033dfd6

H-6281: Add changeset for undo/redo support

157374a

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

Update changeset to patch

e1f5a0f

H-6281: Improve version history menu UX

b765bb1

Show HH:mm:ss timestamps instead of labels, add scrollable max height, and keep menu open on item selection. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

kube force-pushed the cf/h-6281-basic-undoredo-in-petrinaut-demo-app branch from 5604e83 to b765bb1 Compare March 9, 2026 17:44

kube changed the base branch from graphite-base/8505 to cf/h-5641-add-input-for-probabilistic-transition-kernels March 9, 2026 17:44

vercel bot deployed to Preview – petrinaut March 9, 2026 17:47 View deployment

CiaranMn approved these changes Mar 9, 2026

View reviewed changes

vercel bot deployed to Preview – hash March 9, 2026 17:51 View deployment

cursor bot reviewed Mar 9, 2026

View reviewed changes

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

Base automatically changed from cf/h-5641-add-input-for-probabilistic-transition-kernels to main March 9, 2026 19:27

kube added this pull request to the merge queue Mar 9, 2026

Merged via the queue into main with commit f6971b7 Mar 9, 2026
48 of 67 checks passed

hashdotai mentioned this pull request Mar 9, 2026

Version Packages #8336

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

H-6281, FE-501: Add undo/redo support to Petrinaut demo app#8505

H-6281, FE-501: Add undo/redo support to Petrinaut demo app#8505
kube merged 24 commits intomainfrom
cf/h-6281-basic-undoredo-in-petrinaut-demo-app

kube commented Mar 4, 2026 •

edited

Loading

Uh oh!

vercel bot commented Mar 4, 2026 •

edited

Loading

Uh oh!

kube commented Mar 4, 2026 •

edited

Loading

Uh oh!

cursor bot commented Mar 4, 2026 •

edited

Loading

Uh oh!

augmentcode bot commented Mar 4, 2026

Uh oh!

augmentcode bot left a comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

cursor bot left a comment

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Milestone

Development

Uh oh!

2 participants

Conversation

kube commented Mar 4, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

🌟 What is the purpose of this PR?

🔗 Related links

🔍 What does this change?

Pre-Merge Checklist 🚀

🚢 Has this modified a publishable library?

📜 Does this require a change to the docs?

🕸️ Does this require a change to the Turbo Graph?

❓ How to test this?

Uh oh!

vercel bot commented Mar 4, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

kube commented Mar 4, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

cursor bot commented Mar 4, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

PR Summary

Uh oh!

augmentcode bot commented Mar 4, 2026

Uh oh!

augmentcode bot left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

cursor bot left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Milestone

Development

Uh oh!

2 participants

kube commented Mar 4, 2026 •

edited

Loading

vercel bot commented Mar 4, 2026 •

edited

Loading

kube commented Mar 4, 2026 •

edited

Loading

cursor bot commented Mar 4, 2026 •

edited

Loading