summary: Searching facilities in the scrollback class: wish: This is a request for an enhancement. difficulty: tricky: Needs many tuits. priority: medium: This should be fixed one day.
One user suggested a search facility for finding text in the
scrollback. Full-blown regexp-style grep is probably overkill, but a
Notepad-esque search box (select up/down search direction, select
case sensitivity, type your text and go) might be feasible.
If you want to comment on this web site, see the
Feedback page.