Hi, On Thu, Apr 27, 2023 at 9:53 PM Andrew Wetmore <[email protected]> wrote: > ...It would be great if the tags option became available in a drop-down list, > maybe beside the search bar...
That might be a big list, but if someone wants to do that why not! -Bertrand --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
