idris-lang/Idris-dev — pull request #834 by david-christiansen (2014-02-02 17:36:53+00:00)
Title: Automatically detect console width

This can now be overridden with the :consolewidth command at the REPL or
in an init script. There is an optional dependency on curses - enable with the curses flag.