diff options
| author | Rob Pike <robpike@gmail.com> | 2013-10-22 16:47:48 -0700 |
|---|---|---|
| committer | Rob Pike <robpike@gmail.com> | 2013-10-22 16:47:48 -0700 |
| commit | 5a69e405fcae96b476cdd7a0767e87b94c0b7266 (patch) | |
| tree | 2ae94b206607d5acf664580cca5d95360e522e3b /plumb/fileaddr | |
| parent | 075c3bdc54b5201350b88b53d5330cc6a9cc499d (diff) | |
| download | plan9port-5a69e405fcae96b476cdd7a0767e87b94c0b7266.tar.gz plan9port-5a69e405fcae96b476cdd7a0767e87b94c0b7266.tar.bz2 plan9port-5a69e405fcae96b476cdd7a0767e87b94c0b7266.zip | |
acme: scroll a directory window when navigating if:
- the cursor is on the last line
- the navigation would put the cursor over the tag of the following text
R=rsc
CC=smckean83
https://codereview.appspot.com/15280045
Diffstat (limited to 'plumb/fileaddr')
| -rw-r--r-- | plumb/fileaddr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plumb/fileaddr b/plumb/fileaddr index cd2f120f..f5595bd4 100644 --- a/plumb/fileaddr +++ b/plumb/fileaddr @@ -1,4 +1,4 @@ addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])' addr=:($addrelem([,;+\-]$addrelem)*) -twocolonaddr = :([0-9]+)[:.]([0-9]+) +twocolonaddr = ([0-9]+)[:.]([0-9]+) |