[PD-dev] [ pure-data-Bugs-3297480 ] menu text is not scaled with desktop font size