14 Apr
2023
14 Apr
'23
4:05 p.m.
On Fri, 2023-04-14 at 15:47 +0200, Ingo wrote:
[pmenu] seems to use the size of the console font. So by changing this with an internal Pd message I could change my [pmenu] font size on the fly.
Did you try the vanilla drop-down abstraction with configurable font size I posted some days ago?
https://github.com/reduzent/netpd/blob/main/includes/netpd-gui-dropdown.pd https://github.com/reduzent/netpd/blob/main/includes/netpd-gui-dropdown-help...
Roman