Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#63 Add text search

open
Edward Loper
5
2007-05-30
2007-05-30
Stef Mientki
No

Looks like a really great tool, thanks guys !

Why not add a search field in the html documentation.
On a server there's at least 1 search script, that searches from all files for words. You only need to add a few lines to the html doc.

Discussion

  • Edward Loper
    Edward Loper
    2007-09-23

    Logged In: YES
    user_id=195958
    Originator: NO

    Specifically, which lines of html would you recommend adding?

     
  • +1

    Search would be quite useful. Sorry, I have no idea what the original reporter was talking about in regard to adding a few lines. Although IIRC you can use the API to create a custom Google search, which might or might not work...