Disable the Idris event log by default.

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 71 forks source link

Closed david-christiansen closed 6 years ago

david-christiansen commented 7 years ago

Fixes #444.

abailly commented 6 years ago

Pending #468 and manual testing

abailly commented 6 years ago

I can confirm this works as advertised. I am clueless about the CI failures, so I will simply merge it and revert if anyone yells.