K 10
svn:author
V 3
jkh
K 8
svn:date
V 27
1996-07-11T18:37:48.000000Z
K 7
svn:log
V 99
Make the menu height calculation actually work.
Make a menu more self-explanatory at user request.

END