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 <oliver@klingt.org> 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



_______________________________________________
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list