Re: js-info polishing

[Per Bothner]

On 4/29/21 9:30 AM, Gavin Smith wrote:
> 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.

Yes - using Escape to close a popup or similar is pretty standard.

> Maybe there should be another way in case the user doesn't realise this.

A Close button might make sense.

There is a minor misfeature in that if you've started typing you
have to type Escape twice (the first removes the drop-down and the
second closes the input area).  This is similar to how you sometimes
have to Enter twice if you use the arrow keys to navigate the
drop-down menu.

Fixing these might require doing more custom JavaScript to implement
the input fields.  Not a priority or blocker, I think.
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/