Jens Lechtenbörger 2dcbf2745e Extend search API ... Previously, only openSearch() was exported. For symmetry, add closeSearch(). For convenience, also add toggleSearch().		2024-09-29 12:48:39 +02:00
..
plugin.js	Extend search API	2024-09-29 12:48:39 +02:00
search.esm.js	Extend search API	2024-09-29 12:48:39 +02:00
search.js	Extend search API	2024-09-29 12:48:39 +02:00