Skip to content

Fix checkboxes by using deterministic widget IDs instead of random ones to make the diffing easier - #3457

Merged
Keavon merged 3 commits into
masterfrom
fix-checkboxes
Dec 8, 2025
Merged

Fix checkboxes by using deterministic widget IDs instead of random ones to make the diffing easier#3457
Keavon merged 3 commits into
masterfrom
fix-checkboxes

Conversation

@TrueDoctor

Copy link
Copy Markdown
Member

Closes#3368

@KeavonKeavon changed the title Fix checkboxes by using deterministic widget ids instead of random ones to make the diffing easierFix checkboxes by using deterministic widget IDs instead of random ones to make the diffing easierDec 8, 2025
@Keavon
Keavon enabled auto-merge (squash) December 8, 2025 12:20
@github-actions
github-actionsBottemporarily deployed to graphite-dev (Preview) December 8, 2025 12:21 Inactive
@Keavon
Keavon merged commit 532dc30 into masterDec 8, 2025
3 checks passed
@Keavon
Keavon deleted the fix-checkboxes branch December 8, 2025 12:30
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Checkbox labels are now one-time use for clicking to toggle their checkbox

2 participants

@TrueDoctor@Keavon