On Nov 11, 2017, at 12:00 PM, pd-list-request@lists.iem.at wrote:there's a related PR on github (it doesn't solve your problem, but also
tries to avoid spilling some cmdline options into the Pd-settings)
https://github.com/pure-data/pure-data/pull/153