idris-lang/Idris-dev — pull request #1459 by david-christiansen (2014-08-05 08:12:50+00:00)
Title: Strip ANSI codes from parser errors in IDE

Fixes #1458.