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.