[PD-dev] [ pure-data-Feature Requests-1411038 ] preferences panels should have scrollable text boxes