Opened 5 years ago

Closed 5 years ago

#10868 closed enhancement (fixed)

[PATCH] Add a search box to the API documentation.

Reported by: waddlesplash Owned by: waddlesplash
Priority: normal Milestone: Unscheduled
Component: Documentation Version:
Keywords: Cc:
Blocked By: Blocking:
Has a Patch: yes Platform: All

Description

From the commit message:

* Uses the Goodsearch engine, adds a "charityid" key set to Haiku's ID
* Uses the "site:" query to limit results to Haiku's API docs
* CSS pulled in from the userguide site

Attachments (2)

0001-Add-a-search-box-to-the-API-documentation.patch (2.1 KB ) - added by waddlesplash 5 years ago.
Git patch v2.
0001-Add-search-function-to-the-API-docs.patch (2.0 KB ) - added by waddlesplash 5 years ago.
Patch, v3.

Download all attachments as: .zip

Change History (7)

comment:1 by waddlesplash, 5 years ago

Has a Patch: set

by waddlesplash, 5 years ago

Git patch v2.

comment:2 by waddlesplash, 5 years ago

New patch uses Google, as apparently Goodsearch does not contribute a penny for per-site searches.

Last edited 5 years ago by waddlesplash (previous) (diff)

comment:3 by waddlesplash, 5 years ago

Milestone: R1/alpha5
Owner: changed from nielx to waddlesplash
Status: newassigned

comment:4 by pulkomandy, 5 years ago

Milestone: R1/alpha5Unscheduled

The API documentation is not bundled into releases, so this shouldn't delay alpha5. Moving out of milestone.

by waddlesplash, 5 years ago

Patch, v3.

comment:5 by jscipione, 5 years ago

Resolution: fixed
Status: assignedclosed

Applied in hrev47448

Note: See TracTickets for help on using tickets.