Comment 7 for bug 134736

On Thu, Feb 21, 2013 at 2:00 AM, Adam Porter <email address hidden> wrote:
> Jaap, forgive me if I misunderstand, but does this only add an inline
> search for the current page, or does it search across all pages? I
> think the latter is what we are hoping to have in a side pane.

This will be "search" which means finding other pages. Searching
inside the current page is called "Find". (Don't hit me about it -
this is standard jargon from the interface guide.)

So this patch adds a search box in the upper right of the screen, what
seems to be the standard location now for many browsers and similar
application. Entering some text and hit <Enter> will pop up the search
dialog with results.

Regards,

Jaap