diff options
author | Paul Phillips <paulp@improving.org> | 2011-05-26 15:02:37 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-05-26 15:02:37 +0000 |
commit | 4f54ab68fec84e9312567e52e58cf1769de6e5bc (patch) | |
tree | cc1107f75248994bad3770ef7f92ed8f1ce0a203 /src/jline/project | |
parent | 3f192157811eb268d46f3a71011a5b2b966faa14 (diff) | |
download | scala-4f54ab68fec84e9312567e52e58cf1769de6e5bc.tar.gz scala-4f54ab68fec84e9312567e52e58cf1769de6e5bc.tar.bz2 scala-4f54ab68fec84e9312567e52e58cf1769de6e5bc.zip |
Rebuilt jline with some navigation improvements...
Rebuilt jline with some navigation improvements (ctrl-T jumps forward a
word, ctrl-X deletes the word in front of the cursor), thanks to Kenji
Matsuoka for portions of this patch.
Note to OSX users: TIL learned that ctrl-O is swallowed by the terminal
and that unless you have some need for weird flow-control over serial
connection control chars, you can recover it with
stty discard undef
And then you have ctrl-O for previous word and ctrl-T for next word.
No review.
Diffstat (limited to 'src/jline/project')
-rw-r--r-- | src/jline/project/build.properties | 6 | ||||
-rw-r--r-- | src/jline/project/plugins/project/build.properties | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/jline/project/build.properties b/src/jline/project/build.properties index 89d3b4a498..0c2795bca5 100644 --- a/src/jline/project/build.properties +++ b/src/jline/project/build.properties @@ -2,7 +2,7 @@ #Wed Mar 23 21:05:24 PDT 2011 project.organization=org.improving project.name=jline -sbt.version=0.7.6.RC0 -project.version=0.98 -build.scala.versions=2.8.1 +sbt.version=0.7.7 +project.version=0.99-SNAPSHOT +build.scala.versions=2.9.0 project.initialize=false diff --git a/src/jline/project/plugins/project/build.properties b/src/jline/project/plugins/project/build.properties index 218ed2577f..7a06683cda 100644 --- a/src/jline/project/plugins/project/build.properties +++ b/src/jline/project/plugins/project/build.properties @@ -1,3 +1,3 @@ #Project properties -#Wed Mar 23 21:05:33 PDT 2011 +#Wed May 25 15:08:22 PDT 2011 plugin.uptodate=true |