Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
268
stars
70
forks
source link
Bug-fix issue #402: flag buffer dirty on load-file to line and forward/backward-line #503
Closed
ohad closed 4 years ago
When stepping through an unchanged file, the user wants to force buffer reload, even if it's not been changed