On Sun, 9 Feb 2025 11:43:45 -0000 Paul <paul at claws-mail.org> wrote: > If the menu items are distinct, 'discrete' is a better word to use than 'distinct'. with regards Paul