This all used to be generated automatically from the JQuery docs but the
docs changed format and we have lost the importer and ability to maintain
> Does Seaside JQuery have the following component ?
> https://jqueryui.com/menu/ >
> I searched for #menu implementations and there is none. Also in JQuery
> widget there is no menu option.
> I'm using Seaside with GemStone and port version of JQuery
> El software de antivirus Avast ha analizado este correo electrónico en
> busca de virus.
> https://www.avast.com/antivirus >
> seaside mailing list