close 43687

On Wed, Sep 30, 2020 at 5:23 AM Jean Louis <bugs@gnu.support> wrote:

> * Robert Weiner <rsw@gnu.org> [2020-09-30 06:56]:
> > For now you can just directly edit the menus and then reload.
> hui-menu.el
> > (pulldown menu) and hui-mini.el (minibuffer menu).
> > Maybe we should provide a convenience function for replacing a menu.
> > -- Bob
>
> I think I am mistaken, as I did not search well, the web search is
> already customizable.
>
> It is under Hyperbole Web Search Alist, so this report shall be
> closed.
>
> Jean
>
>
>