idris-hackers/idris-mode — pull request #267 by david-christiansen (2014-10-30 09:48:22+00:00)
Title: Save excursion when loading for interactive editing

Fixes #237 (bad interaction with totality warnings)