Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Platform - User Assistance (UA) » Re: search from within an help page
Re: search from within an help page [message #606953] Sun, 20 January 2008 17:43
Eclipse UserFriend
Originally posted by:

Lorenzo Bettini wrote:
> Hi
> when I use the eclipse help system, I can enter a topic to search for;
> but when I get to a page in the help, there's no way to perform a search
> in that specific page... am I missing something, or is it a missing
> feature?
> thanks in advance
> Lorenzo

Hi Lorenzo,

You are correct that there is no feature in the Eclipse help for the
action "Search in this topic". I mean, there is no icon or button to do
that action, like there is a "Show in Table of Contents" button.

If you would like such a feature, you can open a request for enhancement
(RFE) at Eclipse Bugzilla:
Choose Classification = Eclipse, Product = Platform, and Component =
User Assistance.

If you are usually looking at the help contents in an external window
(like from doing menu Help->Help Contents in the Eclipse IDE), you can
do these steps to find something in the topic:

a. Set the Help preference to "Use external browser" (using
Window->Preferences and the Help preferences settings).
This will have Help->Help Contents action open your system browser and
the help contents in that browser (e.g, IE or Firefox).

Then, with the help opened in the system browser, you can use the
browser's Find to find text in a topic, by:

b. Maximize the right hand topic side of the help window, by clicking
the "Maximize" icon that's at the right hand side of the help icon
button row above the topic. That will make the browser have the whole
topic frame without the navigation frame.

c. Then use Edit->Find in this page (Firefox) to put in your text to
find in that topic page.

Hope this helps,
--Lee Anne
Previous Topic:Re: Problem with Help system in Eclipse
Next Topic:Re: search from within an help page
Goto Forum:

Current Time: Wed Jul 18 23:41:55 GMT 2018

Powered by FUDForum. Page generated in 0.02263 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top