Fix highlighting after reselection of same word#1484

Open

jeremypw wants to merge 6 commits intomasterfrom jeremypw/rework-highlight-selection

+37-60

Commits on Oct 22, 2024

Simplify, handle mark-deleted signal

Jeremy Wootten
authored and
Jeremy Wootten
committed
Update spaces immediately

Jeremy Wootten
authored and
Jeremy Wootten
committed

Commits on Dec 1, 2024

Merge branch 'master' into jeremypw/rework-highlight-selection
zeebok
authored

Commits on Dec 2, 2024

Merge branch 'master' into jeremypw/rework-highlight-selection
jeremypw
authored
Separate throttle for selection change

Jeremy Wootten
authored and
Jeremy Wootten
committed

Commits on Jan 8, 2025

Merge branch 'master' into jeremypw/rework-highlight-selection
jeremypw
authored