[PD-dev] [ pure-data-Bugs-3322880 ] on osX 10.5midi settings aren't saved with the preferences