#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: 0 | Platform: All -----------------------------+------------------- Attachment added (by waddlesplash): 0001-Add-a-search-box-to-the-API-documentation.patch (2.2 KB) - Git patch. View the file at https://dev.haiku-os.org/attachment/ticket/10868/0001-Add-a-search-box-to-the-API-documentation.patch -- Ticket URL: https://dev.haiku-os.org/ticket/10868 Haiku <https://dev.haiku-os.org> Haiku - the operating system.