idris-hackers/idris-mode — pull request #179 by david-christiansen (2014-06-08 02:35:43+00:00)
Title: Be more selective about where Idris tries to make buffers clickable

Hopefully, this will fix the problem @sellout was having on IRC.