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.
| Submitted | weberjn - 2008-10-17 15:58:47 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | core |
| Status | open | Group | None |
| Resolution | None |