Re: js-info polishing

[Gavin Smith]

On Thu, Apr 29, 2021 at 07:15:27PM +0300, Eli Zaretskii wrote:
> One possible aspect for improvement: the way the input field for Index
> search is placed it obscures other text, and there doesn't seem to be
> a way of getting rid of it if I decide not to type anything into that
> field.

You get rid of it by pressing Escape.  Maybe there should be another way
in case the user doesn't realise this.