On Mon, Jun 3, 2024 at 9:21 AM IOhannes m zmoelnig <[email protected]> wrote: > well, if your (GUI) preferences still work, then it did :-)
cool. preferences look familiar and get saved. my (false) assumption was that this might also be the fallback in action. cheers, ben _______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
