search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
267 stars 70 forks source link

[semantic-highlight] Remove and rebuild overlays in file on reload only in changed area #581

Closed keram closed 1 year ago

keram commented 1 year ago

Why: Currently when file is reloaded to Idris all overlays are removed from buffer and added back later. This causes flashing and bad user experience. After change only overlays in changed area are removed and redrawn.

Before change:

https://user-images.githubusercontent.com/578608/205518573-e53689a3-35a7-4b31-858f-79c005a21e16.mp4

After change

https://user-images.githubusercontent.com/578608/205518588-a416a238-2695-426f-9790-ded476490baa.mp4

gallais commented 1 year ago

This is fantastic!