idris-hackers/idris-mode — pull request #275 by myrbock (2014-11-01 22:20:46+00:00)
Title: Only apply comint filters to *idris-process*

This fixes #273.