Opened 11 years ago

Closed 10 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:
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 11 years ago.
Git patch v2.
0001-Add-search-function-to-the-API-docs.patch​ (2.0 KB ) - added by waddlesplash 10 years ago.
Patch, v3.

Download all attachments as: .zip

Change History (7)

comment:1 by waddlesplash, 11 years ago

patch: 0 → 1

by waddlesplash, 11 years ago

Attachment: 0001-Add-a-search-box-to-the-API-documentation.patch​ added

Git patch v2.

comment:2 by waddlesplash, 11 years ago

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

Version 0, edited 11 years ago by waddlesplash (next)

comment:3 by waddlesplash, 10 years ago

Milestone: → R1/alpha5
Owner: changed from nielx to waddlesplash
Status: new → assigned

comment:4 by pulkomandy, 10 years ago

Milestone: R1/alpha5 → Unscheduled

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

by waddlesplash, 10 years ago

Attachment: 0001-Add-search-function-to-the-API-docs.patch​ added

Patch, v3.

comment:5 by jscipione, 10 years ago

Resolution: → fixed
Status: assigned → closed

Applied in hrev47448

Note: See TracTickets for help on using tickets.