| commit | b1667ef782af47a55d438382e7e63b75f77a1054 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Sep 26 16:17:08 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Sep 26 16:17:08 1996 +0000 |
| tree | 4a2e7759e6de6877d9187f4b7b7368531b966f0a | |
| parent | e7b9fde1b8461b389f2bcc21350eb132a287f14b [diff] |
Menu callbacks can be strings, in which case they will be looked up in the top window. The menubar is redrawn in the event loop in stead of for every change.