idris-hackers/idris-mode — pull request #168 by david-christiansen (2014-05-24 19:38:11+00:00)
Title: Improve clickable filename code

This now uses overlays instead of text properties, making it much less
likely to conflict with minor modes or commands that set certain
properties.