sidestep, you can also use jmmmp/jp.menu (doesn't have the same features as menubutton)
On Sat, 12 Sep 2020 at 11:17, oliver <[email protected]> wrote: > Lucas Cordiviola wrote: > > Hi Oliver :) > > > > How about reporting to Fred at > https://github.com/electrickery/pd-tof/issues > > > > Hi, Lucas ! > > Thanks for the heads up ! Just did ! > > > Best > > Oliver > > > > _______________________________________________ > [email protected] mailing list > UNSUBSCRIBE and account-management -> > https://lists.puredata.info/listinfo/pd-list >
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
