[previous] [up] [next]     [index]
Next: current-text-keymap-initializer Up: Editors Previous: append-editor-font-menu-items

append-editor-operation-menu-items

Appends menu items to a given menu (not a popup menu) to implement the standard editor operations, such as cut and paste. The callback for each menu item uses get-edit-target-object in top-level-window<%> (finding the frame by following a chain of parents until a frame is reached); if the result is an editor<%> object, do-edit-operation in editor<%> is called on the editor.



PLT