On Wed, 2023-04-05 at 19:59 +0000, Phil Stone wrote:
I just wanted to thank you for pmenu, Fred. It really fills a gap in the Pd ecosystem.
Re drop-down with configurable font-size, check [netpd-gui-dropdown]:
https://github.com/reduzent/netpd/blob/main/includes/netpd-gui-dropdown-help...
(it's vanilla and uses data structures)
Roman