[Top][All Lists]

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

Re: js-info polishing

From: Gavin Smith
Subject: Re: js-info polishing
Date: Thu, 29 Apr 2021 17:30:42 +0100
User-agent: Mutt/1.9.4 (2018-02-28)

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.

reply via email to

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