I forgot to reply to the list. :-) -------- Forwarded Message -------- Subject: Re: [PD] linux: "-font-size" startup flag -- does this work? Date: Mon, 11 Sep 2017 15:00:29 -0300 From: Lucas Cordiviola <[email protected]><mailto:[email protected]> To: Alexander Connor <[email protected]><mailto:[email protected]>
hi, The "-font-size" flag will affect your *new* patches. Saved patches have their font size saved. If you want to change the font of a saved patch use the "GUI Edit->Font option" of that particular window, not the Pd window (the one with the console). Hope this helps. Mensaje telepatico asistido por maquinas. On 9/11/2017 2:02 PM, Alexander Connor wrote: > Hello list - > > So whilst testing some of the newer Debian/Ubuntu versions to replace my > EOL/close to EOL versions I'm currently using, I ran into the enlarged font > rendering issue in Vanilla which has been discussed in various posts to this > list and I am aware the devs are still working on this. > > I attempted some temporary workarounds. I first tried the GUI Edit->Font > option. In pre 0.48 Vanilla, this would change the object box font size (this > seems not to be the case in 0.48 as it is now applied to to the window menu > fonts???) but this didn't cut it as I needed size that was in between the GUI > selectable values. > > So I then turned to the -font-size startup flag, and found that no matter > what value I put in, on any of the last few revisions of 0.47 or even 0.48, > this flag seemed to do *absolutely nothing*. Tried with and without quotes > around the variable -- nada. I tested -font-face and -font-weight and these > worked as expected. Am I missing something here? Should I file a bug? > > BTW I tried searching for -font-size in the archive, but this buries you with > the "font-size" line in all the headers in those "attachment" files. Couldn't > find any way to filter those. Not very useful. > > _______________________________________________ > [email protected]<mailto:[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
