support proximity search

The jEdit search dialog box should offer a
[ ] Proximity search
option

Search words within [ 5 ] lines.

http://en.wikipedia.org/wiki/Proximity_search_\(text)

I guess this could be mapped to complicated regular expressions.