idris-lang/Idris-dev — pull request #852 by david-christiansen (2014-02-04 21:47:07+00:00)
Title: Don't use Curses to look for console width in IDESlave

Now, setting automatic width in IDESlave mode is equivalent to setting
infinite width.