💾 Archived View for jb55.com › ward.asia.wiki.org › search-plugin captured on 2022-01-08 at 14:08:15. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
The search plugin contains a query as its text, performs that query on emit, and reports results in page as flags ordered by the titles that have them.
See About Search Plugin
See Distributed Search for the most exotic mechanism we hope to support with this plugin.
The 'search' link on every wiki page.
Make ALL and ANY synonyms for AND and OR.
Bubble up double-clicks on the INPUT box.
We have a tentative implementation of the plugin with just enough logic to do word search, what links here search, and the symmetric item identity search.