On Fri, May 23, 2014 at 9:06 AM, Mike Innes <[email protected]> wrote:
> Well, as it happens I began some work on a pager like this as a > proof-of-concept. If there's significant interest I could flesh it out into > something usable over the summer. +10000000000 A pager like this and better infrastructure for matrix-like printing is something I've been meaning to tackle for a long time. Something that DataFrames and other structures (Dicts, Lists of Lists, etc.) can easily hook into and automatically get the same kind of nice truncated printing as matrices, but also automatically get efficient printing in a built-in pager (appropriate display widgets in IJulia would be great too). The interface to paging could be the same as in the shell. I.e. you would do this: julia> arr |> less and it would pop up a pager for you. Of course, you could also call it as less(arr).
