#10868: [PATCH] Add a search box to the API documentation. -----------------------------+-------------------------- Reporter: waddlesplash | Owner: waddlesplash Type: enhancement | Status: closed Priority: normal | Milestone: Unscheduled Component: Documentation | Version: Resolution: fixed | Keywords: Blocked By: | Blocking: Has a Patch: 1 | Platform: All -----------------------------+-------------------------- Changes (by jscipione): * status: assigned => closed * resolution: => fixed Comment: Applied in hrev47448 -- Ticket URL: <https://dev.haiku-os.org/ticket/10868#comment:5> Haiku <https://dev.haiku-os.org> Haiku - the operating system.