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 <[email protected]>: > 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 <[email protected]>: > > > > > > > > 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 > > > _______________________________________________ > > [email protected] mailing list > > UNSUBSCRIBE and account-management -> https://lists.puredata.info/ > listinfo/pd-list > >
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
