idris-hackers/idris-mode — pull request #209 by david-christiansen (2014-07-10 15:57:45+00:00)
Title: Remove idle timers

It seems that idle timers are causing all kinds of problems, so rather
than deal with that complexity, the clickable module feature has been
moved to an after-save-hook.

RE #206