Skip to content

Fix crash from highlight selection plugin when deleting selection#1622

Merged
jeremypw merged 6 commits intomasterfrom
jeremypw/fix-highlight-crash
Jul 23, 2025
Merged

Fix crash from highlight selection plugin when deleting selection#1622
jeremypw merged 6 commits intomasterfrom
jeremypw/fix-highlight-crash

Commits

Commits on Jun 30, 2025

Commits on Jul 16, 2025

Commits on Jul 19, 2025

Commits on Jul 22, 2025