On 07.03.19 09:47, Christof Ressi wrote:
It annoys me more often than I find it useful and would have prefered to have it as an opt-in feature
Me too!
how about creating a ticket on [1]?
Done! Thanks IO! https://github.com/pure-data/pure-data/issues/568