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 |