Re: js-info polishing

[Eli Zaretskii]

> From: Gavin Smith <gavinsmith0123@gmail.com>
> Date: Thu, 29 Apr 2021 17:30:42 +0100
> Cc: Per Bothner <per@bothner.com>, bug-texinfo@gnu.org
> 
> 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.

Thanks.  This should be in the Help screen, IMO.