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