Fix small bug in idris-xref jump to column and

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

269 stars 70 forks source link

Closed keram closed 1 year ago

keram commented 1 year ago

improve it's tests by addressing warnings from emacs lisp compiler and removing dependency on Messages buffer.

Based on top of PR https://github.com/idris-hackers/idris-mode/pull/606 the relevant commit is c3e11a8117d0dc4e965b8d438e979ba9cd363331

Before: output-2023-01-10-21:12:00

After: output-2023-01-10-21:05:26

jfdm commented 1 year ago

This PR looks like it incorporates #606. Once the other PR has been merged, we can merge this one.