11.3.30 user

Add user-customized commands to the graphics display popup menu.    

• add menu name: Add a new submenu name to the main popup menu. The submenu will be initially empty, and will not appear until items are added to it.
• add item name command: Add a new menu item named name to the `User Command' submenu of the main menu. If a command is specified, then when the menu item is selected by the user, that command will be executed as if it had been typed at the console.
• add separator: Add a separator to the end of the `User Command' submenu of the main menu.
• add subitem menu name command: Add an item name to the given submenu menu, which must have been added already with an add menu command. The given command will be executed when the item is selected by the user.
• add subseparator menu: Add a separator to the end of the given submenu.
• add key key command: Assign the given text command to the hot key key. When key is pressed while the mouse is in the display window, the specified command will be executed.
• print < menus | keys >: Print out the current definition of the user-defined menus, or the hot keys.  

See section §  for examples of the use of the user command.