Re: [PD] Gui Font in 0.48.1 on Debian?

On 2018-04-17 16:43, Peter P. wrote: > * IOhannes m zmoelnig [2018-04-17 13:00]: >> On 2018-04-17 12:24, Peter P. wrote: >>> * Peter P. [2018-04-16 14:42]: Has anyone else got the same problem? I am reluctant to go back to apt/Debian's pd

Re: [PD] Gui Font in 0.48.1 on Debian?

* IOhannes m zmoelnig [2018-04-17 13:00]: > On 2018-04-17 12:24, Peter P. wrote: > > * Peter P. [2018-04-16 14:42]: > >> Has anyone else got the same problem? I am reluctant to go back to > >> apt/Debian's pd 0.47.1-3. > > Actually, if I install via > >

Re: [PD] Gui Font in 0.48.1 on Debian?

On 2018-04-17 12:24, Peter P. wrote: > * Peter P. [2018-04-16 14:42]: >> Has anyone else got the same problem? I am reluctant to go back to >> apt/Debian's pd 0.47.1-3. > Actually, if I install via > > sudo aptitude install puredata=0.47.1-3 > > $ pd -version >

Re: [PD] Gui Font in 0.48.1 on Debian?

* Peter P. [2018-04-16 14:42]: > Has anyone else got the same problem? I am reluctant to go back to > apt/Debian's pd 0.47.1-3. Actually, if I install via sudo aptitude install puredata=0.47.1-3 $ pd -version still gives me Pd-0.48.1 ("") compiled for

Re: [PD] Gui Font in 0.48.1 on Debian?

No problem here on ubuntu16.04/gnome "flashback", with self-compiled Pd. Do you still have the problem if you compile and install Pd by yourself? Antoine Rousseau http://www.metalu.net __ http://www.metaluachahuter.com/

Re: [PD] Gui Font in 0.48.1 on Debian?

Has anyone else got the same problem? I am reluctant to go back to apt/Debian's pd 0.47.1-3. Thanks! P * Peter P. [2018-04-06 11:36]: > Hi list, > > with the latest Debian testing versions (0.48.1) the font for the > console menus comes up with 24pt size, although the

Re: [PD] Gui Font in 0.48.1 on Debian?

I might be a bug with calculating the size based on current zoom factor. Zoom of 2 with font size 12 is 24... > On Apr 6, 2018, at 2:41 PM, pd-list-requ...@lists.iem.at wrote: > > Date: Fri, 6 Apr 2018 11:36:30 +0200 > From: "Peter P."