Re: isearch hooks

[Richard Stallman]

    In the initial proposal the search scope is restricted to the current
    Info node, and wrapping is going to the next Info node with the search
    result.

That would be a coherent kind of extension, but we would
not want to call it "wrapping".  "Wrapping" means going up to the top
and searching the same material.

    In the solution you suggested with `isearch-search-fun' the search
    scope is the whole Info manual.  But even in this case a wrapping
    hook is still needed: it should wrap the failed search to the
    top/final Info node.

I agree.

    There were some problems with this approach: lazy highlighting uses
    the same function `isearch-search-fun' to highlight other matches.

It could well be that the existing hook isearch-search-fun is not adequate.
An additional hook for searching other places, before "failing" but
not used by lazy highlighting, could be useful.

    There are some inconveniences: the user can't delete the last input
    by DEL and can't return the point to the search beginning by cancelling
    the search with C-g.

Can you design the hooks to fix all these problems?