Skip to content

Fix highlighting after reselecting same word#1520

Closed
jeremypw wants to merge 11 commits intomasterfrom
jeremypw/rework-highlight-selection
Closed

Fix highlighting after reselecting same word#1520
jeremypw wants to merge 11 commits intomasterfrom
jeremypw/rework-highlight-selection

Commits

Commits on Oct 22, 2024

Commits on Dec 1, 2024

Commits on Dec 2, 2024

Commits on Jan 8, 2025

Commits on Jan 11, 2025

Commits on Jan 12, 2025

Commits on Jan 24, 2025

Commits on Feb 8, 2025

Commits on Apr 22, 2025