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 355109 - Devhelp should have in-page search facility
Devhelp should have in-page search facility
Status: RESOLVED DUPLICATE of bug 116322
Product: devhelp
Classification: Applications
Component: General
unspecified
Other All
: Normal enhancement
: ---
Assigned To: Mikael Hallendal
Mikael Hallendal
Depends on:
Blocks:
 
 
Reported: 2006-09-09 12:37 UTC by Mukund Sivaraman
Modified: 2006-09-10 20:03 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Mukund Sivaraman 2006-09-09 12:37:20 UTC 
It would rock to have a find feature inside the currently displayed page in devhelp (apart from the search facility for identifiers). Many times I've wanted to search in the descriptive text inside the displayed page.

(Setting the version as unspecified as the one shipping with Fedora is 0.11 which is not in Bugzilla's list.)
Comment 1 Richard Hult 2006-09-10 20:03:42 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 ***