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 /src/jline/project | |
| 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 'src/jline/project')
| -rw-r--r-- | src/jline/project/build.properties | 4 | ||||
| -rw-r--r-- | src/jline/project/plugins/project/build.properties | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/jline/project/build.properties b/src/jline/project/build.properties index c6143fe8df..3ecffcd808 100644 --- a/src/jline/project/build.properties +++ b/src/jline/project/build.properties @@ -3,6 +3,6 @@ project.organization=org.improving project.name=jline sbt.version=0.7.5.RC0 project.version=0.98 -#build.scala.versions=2.8.1 -build.scala.versions=2.9.0-SNAPSHOT +build.scala.versions=2.8.1 +/*build.scala.versions=2.9.0-SNAPSHOT*/ project.initialize=false diff --git a/src/jline/project/plugins/project/build.properties b/src/jline/project/plugins/project/build.properties index f39984bd73..0b7014c531 100644 --- a/src/jline/project/plugins/project/build.properties +++ b/src/jline/project/plugins/project/build.properties @@ -1,3 +1,3 @@ #Project properties -#Fri Jan 21 08:49:59 PST 2011 +#Thu Feb 10 14:58:03 PST 2011 plugin.uptodate=true |