Skip to content

Highlight Changes Between Simplification Passes#97

Merged
rcosta358 merged 10 commits into
mainfrom
show-simplification-diff
Jul 20, 2026
Merged

Highlight Changes Between Simplification Passes#97
rcosta358 merged 10 commits into
mainfrom
show-simplification-diff

Conversation

@rcosta358

Copy link
Copy Markdown
Collaborator

This PR shows the line and token-level changes when navigating simplification steps, with animated highlighting and in-place view updates.

Demo

Screen.Recording.2026-06-23.at.16.38.59.mov

@rcosta358 rcosta358 self-assigned this Jun 23, 2026
@rcosta358 rcosta358 added the enhancement New feature or request label Jun 23, 2026

@CatarinaGamboa CatarinaGamboa left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

So niceeee! Looks great

@rcosta358
rcosta358 changed the base branch from show-simplification-passes to main July 20, 2026 18:17
@rcosta358
rcosta358 force-pushed the show-simplification-diff branch from 6c5668d to 15e9804 Compare July 20, 2026 18:18
@rcosta358
rcosta358 merged commit 54399ed into main Jul 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants