idris-hackers/idris-mode — pull request #254 by david-christiansen (2014-09-29 10:58:01+00:00)
Title: Change default warning face to red wavy underline

In terminal Emacs, use the default warning face instead. Fixes #253.