commit | cef2c597fec211a708954a6d934d5ae708b1a61d | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 15:39:01 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 15:39:01 1996 +0000 |
tree | 48d2262941f4b466f097df4dd70727b616f7603e | |
parent | 5c6e3738cd2179600c24bc1241eb5daa584ccc47 [diff] |
Added enable(onoff) method to menus and menu items