It got in with this merged Pull Request https://github.com/pure-data/pure-data/pull/227
2018-03-15 16:10 GMT-03:00 Miller Puckette msp@ucsd.edu:
I'm unaware inlet/outlets grew... I'll have a look and see what's up. I don't think there's any reason for them to have chanced.
cheers Miller
On Thu, Mar 15, 2018 at 02:15:03PM -0300, Alexandre Torres Porres wrote:
What's hard on my eyes so bad that hurts down to my soul is the *BOLD*
font
as a default, specially for texts like in this image you sent. But I
really
can't see/feel any issue with this change.
2018-03-15 11:22 GMT-03:00 oliver oliver@klingt.org:
has really nobody else experienced this ?
yup
is this just happening on my machine ?
nope
or is this a supposed to be a "new PD look" ?
yup
cheers
Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/
listinfo/pd-list