The TextMenus text is a LayLa description of a pop-up menu for use in TextDocs. -- Pieter Muller