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