#10868: [PATCH] Add a search box to the API documentation. -----------------------------+------------------- Reporter: waddlesplash | Owner: nielx Type: enhancement | Status: new Priority: normal | Milestone: Component: Documentation | Version: Resolution: | Keywords: Blocked By: | Blocking: Has a Patch: 1 | Platform: All -----------------------------+------------------- Comment (by waddlesplash): New patch does uses Google, as apparently Goodsearch does not contribute a penny for per-site searches. -- Ticket URL: <https://dev.haiku-os.org/ticket/10868#comment:2> Haiku <https://dev.haiku-os.org> Haiku - the operating system.