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

Preserve point position after adding warning overlay #600

Closed keram closed 1 year ago

keram commented 1 year ago

Resolves part of: https://github.com/idris-community/idris2-mode/issues/36

"The cursor still jumps to the beginning of the line"

Before change

https://user-images.githubusercontent.com/578608/208742818-ee18aca8-80a0-4d8d-8866-a3ccf4936e8a.mov

After change

https://user-images.githubusercontent.com/578608/208743041-6b7ed919-7c0c-4ce7-b1a0-e9e5429ca11d.mov