Description of problem: so there's the potential for a really big scrollback buffer in gnome terminal, BUT THERE's NO WAY TO SEARCH IT... Ummmm, that sure would be a useful new feature... (especially, if it worked across several tabbed terminals @ once...) --stig
This is already filed on gnome.org iirc.
Hi, The upstream bug report is here: http://bugzilla.gnome.org/show_bug.cgi?id=78963 You can track the progress of the feature request there.