> pop-up menu? For my web pages I'd like to simplify things a bit and
> redefine others.
There is currently no mechanism to support dynamic or static changes to
the popup menu.
It would not be particularly difficult to implement, but someone would
have to put some thought into the mechanism for loading the new menu.
The format should/would be the current properties format used for storing=
standard java property strings.