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 350161 - let me search text of page I'm currently viewing
let me search text of page I'm currently viewing
Status: RESOLVED DUPLICATE of bug 116322
Product: devhelp
Classification: Applications
Component: General
0.12
Other All
: Normal enhancement
: ---
Assigned To: Mikael Hallendal
Mikael Hallendal
Depends on:
Blocks:
 
 
Reported: 2006-08-06 14:56 UTC by Adam Dingle
Modified: 2006-08-08 12:58 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Adam Dingle 2006-08-06 14:56:01 UTC 
DevHelp should let me search the text of the page I'm currently viewing; this would be helpful since some pages are quite long.

This could work like gedit's Search/Find dialog.  It would be especially nice to support incremental searching (like gedit's Search/Interactive search).
Comment 1 Richard Hult 2006-08-08 12:58:38 UTC 
Thanks for the bug report. This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find.


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