[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: js-info polishing

From: Eli Zaretskii
Subject: Re: js-info polishing
Date: Thu, 29 Apr 2021 19:40:33 +0300

> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]