idris-lang/Idris-dev — pull request #851 by david-christiansen (2014-02-04 21:33:59+00:00)
Title: Don't use Curses when in IDESlave mode

This prevents clients from being flooded with extra control char
sequences.