| commit | 13681b73b5d951a8f2c453aa20a2f11d75474d31 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Dec 14 15:45:53 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Dec 14 15:45:53 1999 +0000 |
| tree | ef606261baac04d42cf90911b79d357973105f7e | |
| parent | 1836dbe22d45ac7066a1fdb3cbf3f041b2c5e727 [diff] |
If a menu shortcut is a tuple in stead of a char it is a tuple (modifierkeys, char [, glyph]).