Hi,
I also added the chance to change the face how the header will be displayed e.g. in bold, italics, underlined, etc.
Furthermore I added the possibility to call "menu" like
"$DIALOG" menu -p '{ headerStyle = 7; menuItems = ({title = "Nouns"; header = 1; },{title = "drink";}); }'
for compatibility reasons.
Here's the code:
Cheers,
--Hans