| commit | 5c44027d8ab77fb40ec9a386596e59251c1b7146 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jul 13 13:41:02 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jul 13 13:41:02 1998 +0000 |
| tree | 08168138f2affd89a9a23024623f94a200919310 | |
| parent | f22e67dcb5c6ce3d08e56f62b337390198ffee54 [diff] |
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.