| commit | db9ff36ad9944deed06eb2abb511ca972d4b0807 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Mar 12 13:32:03 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Mar 12 13:32:03 1996 +0000 |
| tree | eb1cc7200ec4d22ec933215a6cc5f29dfddc36e8 | |
| parent | e355c4568f30b720c714d999ffb621b5bd83c137 [diff] |
Added checkmenu() method (to checkmark an entry) and delete() method to remove a menu.