Skip to content

Bring back client-side search #567

@srid

Description

@srid

Originally we had a JavaScript based search that used cache.json to search zettels by title or tag. It got replaced by GHCJS-based Impulse search, but that turned out to be very slow on larger notebooks, so it got removed. So let's reinstate the old search feature, based on JavaScript or any other language that compiles directly to JS (without runtime overhead), such as TypeScript and PureScript.

Look into using elasticlunr.js of #568

Metadata

Metadata

Assignees

No one assigned

    Labels

    Web InterfaceUI relatedenhancementNew feature or requestv2Next generation neuron -- simple core, with plugins

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions