[Top][All Lists]

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

Re: info.js bugs

From: Gavin Smith
Subject: Re: info.js bugs
Date: Mon, 27 Dec 2021 20:59:59 +0000
User-agent: Mutt/1.9.4 (2018-02-28)

On Fri, Dec 24, 2021 at 10:47:15PM -0800, Per Bothner wrote:
> I checked in fixes for these problems. I also uploaded an updated 
> https://domterm.org

I had a look and it works great!

BTW I found this email in my spam folder so missed it the first time.

> On 12/21/21 12:28, Gavin Smith wrote:
> > Unrelated to your original message, but looking at those pages, I
> > noticed a few problems with info.js:
> > 
> > * Typing "i" brings up the index search box, but there is no index
> > in the document.  Showing a message "No indices" would be better
> > than a text entry box.
> It now shows "No index in this document" by analogy with
> 'm' showing "No menu in this node".
> > * The browser tab is named starting "Top (DomTerm..." regardless
> > of which page is being shown.
> Checked in code to update the window/tab title.
> > * When pressing "s" for search, it's very easy for the search box
> > to contain the letter "s", even if the default is something else.
> > To trigger: hold down the "s" key, then press Escape.  Then press
> > "s" again.  There is an "s" stuck in the search box.  (I couldn't
> > break this reliably.)
> There was a related problem: Typing 'm' or 'i' would often initialize the
> minibuffer with those letters.  The problem was likely that key
> events would get passed to the minibuffer element after it got focus.
> Seems to be fixed by adding a call to preventDefault on the keydown event.
> -- 
>       --Per Bothner
> per@bothner.com   http://per.bothner.com/

reply via email to

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