Skip to content

Fix bug with deleting boxes#42

Merged
jernestmyers merged 1 commit intomainfrom
fix-highlight-box-delete-bug
Jun 27, 2025
Merged

Fix bug with deleting boxes#42
jernestmyers merged 1 commit intomainfrom
fix-highlight-box-delete-bug

Conversation

@jernestmyers
Copy link
Collaborator

Closes #37

@jernestmyers jernestmyers merged commit 42866ef into main Jun 27, 2025
1 check passed
@jernestmyers jernestmyers deleted the fix-highlight-box-delete-bug branch June 27, 2025 17:14
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.

Resolve issue deleting highlight boxes

1 participant