| commit | f21b7063d387c187dc872bf833db09a81f157ab2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 29 22:04:15 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 29 22:04:15 2002 +0000 |
| tree | cbb572ec4c6f19e48777540cb45f03cce2082299 | |
| parent | 983258ed7e96897e00c7a4459034d83816018181 [diff] |
Added support for the help menu. Application.gethelpmenu() will return it. Also fixed menu IDs to be signed in do_menudispatch. this is an incompatible change, but I don't think it'll hurt anyone.