Repository navigation

[Diagram Editor] Circular fork operations and edit-popover positioning - #219

Merged

mxgrey merged 13 commits into

open-rmf:mainfrom

ArizmendiWan:fork-redesign

Oct 7, 2026

Commits on Aug 9, 2026

Refactor fork operations in diagram editor. Fix pop-up location.
ArizmendiWan
committed
0361345
- Update diagram editor styles and functionality.
ArizmendiWan
committed
cb69363

Commits on Aug 20, 2026

Restore fork operations, update message handling schema, and enhance edge styling.
ArizmendiWan
committed
f948b1a

Commits on Aug 21, 2026

refactor message and node activity signals and visualizations
ArizmendiWan
committed
87d4cae

Commits on Aug 22, 2026

Commits on Sep 22, 2026

Separate progress visualization from fork UI redesign
ArizmendiWan
committed
873aae5

Commits on Oct 7, 2026

Merge upstream main into fork-redesign and rebuild frontend
ArizmendiWan
committed
95c3433