On 19/07/2022 15:21, Phil Thompson wrote: > On 18/07/2022 11:31, ekhumoro wrote: > I decided it would be quicker to implement menu() and setMenu() than to work out whether they were really needed. > > Phil That's very helpful. Many thanks, Phil!