After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 92471 - Search for text within terminal
Search for text within terminal
Status: RESOLVED DUPLICATE of bug 78963
Product: gnome-terminal
Classification: Core
Component: general
unspecified
Other other
: Normal enhancement
: future
Assigned To: Havoc Pennington
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-09-04 13:40 UTC by Gustavo Carneiro
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement



Description Gustavo Carneiro 2002-09-04 13:40:39 UTC
A nice feature to add to the gnome-terminal would be a "Find text"
functionality. The user would enter a string, and the terminal would search
for it, not only in the visible part, but also in the scrollback lines. If
found, the terminal would scroll back to that position and the string would
be highlighted (*not* selected).
  Also by default it would search backwards, from the most recent line the
the oldest, but that should probably be configurable.
  I think this would be a real innovation. At least I haven't seen it
anywhere else before...
Comment 1 John Fleck 2002-09-21 02:55:03 UTC
Adding the "future" milestone. Nice, but very futuristic.
Comment 2 Heath Harrelson 2002-11-08 19:46:54 UTC

*** This bug has been marked as a duplicate of 78963 ***