| commit | c15e43a2da0bee955d5e939e31c43f8dc6270fef | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Dec 15 15:45:23 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Dec 15 15:45:23 1999 +0000 |
| tree | 49443898698d926ce363fe21919ca89dc693fa5d | |
| parent | 8a9fdff6d741825d9e2ececbdcd80f7bf65021fc [diff] |
Fixed menu glyph stuff. Use MenuEvent in stead of MenuKey.