Appends a new item onto the menu with the label name. When the menu item is selected, callback will be invoked with no arguments. The help-string and checkable? arguments are optional, as with append. The return value is the menu id generated for the new item.
If key is a string, then it is prepended with
Since menu key bindings are very different on the various platforms, a separate keymap is kept for every platform, and all of them are built, no matter which platform is running. Thus, even if you are running under MacOS, you can tell if your keybinding causes a conflict under X Windows or Windows.
If (mred:get-preference 'mred:menu-bindings) returns #f, no keybinding is used for this menu.