Highlight graph changes per rewrite step in proof view #190#448

Open

dorakingx wants to merge 21 commits intozxcalc:masterfrom

dorakingx:feature/issue-190-highlight-rewrites

Commits on Feb 26, 2026

Highlight changed nodes and edges per rewrite step
dorakingx
committed

Commits on Feb 27, 2026

Commits on Feb 28, 2026

Fix Magic Wand unfuse highlighting: only highlight selected/split vertices
dorakingx
committed
Add View menu toggle for rewrite highlights; refresh on settings change
dorakingx
committed
Prune highlight code; restore highlight_verts for color change/strong comp/remove id; optimize (merge unfuse into highlight_verts, add _edges_between)
dorakingx
committed
Optimize move_to_step: remove unused g_next, compute current_verts once
dorakingx
committed
Fix mypy: no-redef in proof.py, step_view type ProofStepView in commands.py, type ignore setColorScheme in app.py
dorakingx
committed

Commits on Mar 2, 2026