plumb/fileaddr

addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr=:($addrelem([,;+\-]$addrelem)*)

twocolonaddr = ([0-9]+)[:.]([0-9]+)
add plumbing files. 2003-11-23 18:30:04 +00:00			`addrelem='((#?[0-9]+)\|(/[A-Za-z0-9_\^]+/?)\|[.$])'`
			`addr=:($addrelem([,;+\-]$addrelem)*)`

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 2013-10-22 16:47:48 -07:00			`twocolonaddr = ([0-9]+)[:.]([0-9]+)`