Menu duplications

[Richard Stallman <rms@gnu.org>]

Would someone please fix the code in xmenu.c to avoid
duplications in the C-Mouse-3 pop-up menu from the minibuffer?

(Here's the explanation of what causes the problem.)

Then please ack.

    I see the duplicate in the normal value of
    minibuffer-local-completion-map.  The parent of that map is
    minibuffer-local-map, and both of them have menu bar submaps.

    I think there is nothing wrong with the keymaps.
    When keymap A has B as its parent, keymap A's submap for a certain
    prefix should have, as its parent, keymap B's submap for that prefix.
    What you see here is that happening for the prefix `menu-bar' and
    then again, within that, for the prefix `minibuf'.
    Three levels of keymap `minibuffer-local-completion-map',
    each inheriting from the corresponding level of the parent,
    `minibuffer-local-map'.