Added a delete() method to menu entries. Only the last entry of a menu
can be deleted, but that's good enough for things like a "Windows" menu with the dynamic list of open windows at the end of the menu.
J
Jack Jansen committed
5c44027d8ab77fb40ec9a386596e59251c1b7146
Parent: f22e67d