Skip to content

Conversation

@TrueDoctor
Copy link
Member

Closes #3368

@Keavon Keavon changed the title Fix checkboxes by using deterministic widget ids instead of random ones to make the diffing easier Fix checkboxes by using deterministic widget IDs instead of random ones to make the diffing easier Dec 8, 2025
@Keavon Keavon enabled auto-merge (squash) December 8, 2025 12:20
@Keavon Keavon merged commit 532dc30 into master Dec 8, 2025
3 checks passed
@Keavon Keavon deleted the fix-checkboxes branch December 8, 2025 12:30
Sign up for free to 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

3 participants