> From: Gavin Smith <[email protected]> > Date: Thu, 29 Apr 2021 17:30:42 +0100 > Cc: Per Bothner <[email protected]>, [email protected] > > 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.
