-
-
Notifications
You must be signed in to change notification settings - Fork 145
Bring back client-side search #567
Copy link
Copy link
Open
Labels
Web InterfaceUI relatedUI relatedenhancementNew feature or requestNew feature or requestv2Next generation neuron -- simple core, with pluginsNext generation neuron -- simple core, with plugins
Milestone
Metadata
Metadata
Assignees
Labels
Web InterfaceUI relatedUI relatedenhancementNew feature or requestNew feature or requestv2Next generation neuron -- simple core, with pluginsNext generation neuron -- simple core, with plugins
Originally we had a JavaScript based search that used
cache.jsonto 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