Re: [PATCH] infokeys, scrolling behavior etc.

[Karl Berry]

    +Normally, cursor movement commands (@pxref{Cursor Commands}) stop when
    +top or bottom of a node is reached.  When this variable is set to
    address@hidden

Oh, I'm sorry, I see you already made it an option.  (That's what comes
of reading the email without reading the patch.)

So fine.  Do you want to do the circular tabs behavior too, or shall I
apply the latest patch?

    the information about the latter is hidden so deeply 

True.  I'll see if I can figure out other places to mention it.

Thanks very much,
Karl