Fix highlighting after reselection of same word

elementary / code

Code editor designed for elementary OS

https://elementary.io

GNU General Public License v3.0

480 stars 112 forks source link

Fix highlighting after reselection of same word #1484

Open jeremypw opened 3 weeks ago

jeremypw commented 3 weeks ago

Fixes #1483

Ensure selection is updated in plugin when selection changes by clicking elsewhere
Simplify and DRY some code

Throttling the update-spaces function was tried but the resulting lag was found to be distracting so now they are updated straight-away as before. This is inefficient but any improvement can be left for another PR.

jeremypw commented 3 weeks ago

@zeebok You may like to take a look at this and let me know if by any chance it also fixes the crashing problem we discussed.