jline/jline2 — pull request #131 by ericbottard (2014-02-07 17:30:08+00:00)
Title: Restore rich completion

Adds support for #130.

Completion.getHeading() is not used, so can be removed (and added later as a separate PR).

Passes all existing tests, will try to exercise it with real project soon