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
[email protected]   http://per.bothner.com/

Reply via email to