diff options
| author | Paul Phillips <paulp@improving.org> | 2011-02-11 04:00:46 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2011-02-11 04:00:46 +0000 |
| commit | e9f1ccb0308f207303af2507415379c4d8dbcd6a (patch) | |
| tree | 63405092a3b6eee03ee1ecef6a7da1578dd23b42 /lib | |
| parent | 8e380b67366ab83d81fd401632af17d7cc0c2205 (diff) | |
| download | scala-e9f1ccb0308f207303af2507415379c4d8dbcd6a.tar.gz scala-e9f1ccb0308f207303af2507415379c4d8dbcd6a.tar.bz2 scala-e9f1ccb0308f207303af2507415379c4d8dbcd6a.zip | |
This addresses a few long standing irritations ...
This addresses a few long standing irritations with jline, rewriting
chunks of it along the way. No longer does columnar output spill over
and double space everything if you're unlucky with the chosen widths.
Pagination works for a higher definition of work. Etc.
Also, for those who enjoy operating missile systems from their repls,
crash recovery now requests your permission before replaying the
session.
Closes #4194, no review.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/jline.jar.desired.sha1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/jline.jar.desired.sha1 b/lib/jline.jar.desired.sha1 index b20982df23..d672b233ac 100644 --- a/lib/jline.jar.desired.sha1 +++ b/lib/jline.jar.desired.sha1 @@ -1 +1 @@ -50e6e3fad054ce6d0a077e85b457817039ede3c8 ?jline.jar +80aedc428de3beae3608772523a8d29ffcef0e5b ?jline.jar |