idris-hackers/idris-mode — pull request #266 by david-christiansen (2014-10-30 09:38:47+00:00)
Title: Dark theme highlight for more terminals

Supersedes #256 and fixes #255.