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

2018-04-17 Thread IOhannes m zmoelnig
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 0.47.1-3. >>> Actually, if I install via >>> >>>

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

2018-04-17 Thread Peter P.
* 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 > > > > sudo aptitude install puredata=0.4

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

2018-04-17 Thread IOhannes m zmoelnig
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 > still gives me > Pd-0

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

2018-04-17 Thread Peter P.
* 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 Debian (0.48.1-4) on 2018/0

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

2018-04-16 Thread Antoine Rousseau
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?

2018-04-16 Thread Peter P.
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 font dialog > indicates 12

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

2018-04-06 Thread Dan Wilcox
t; > To: pd-list mailto:pd-l...@iem.at>> > Subject: [PD] Gui Font in 0.48.1 on Debian? > Message-ID: <20180406093630.v3qqkphqdoo6m...@fastmail.com > <mailto:20180406093630.v3qqkphqdoo6m...@fastmail.com>> > Content-Type: text/plain; charset=us-ascii > > Hi l

[PD] Gui Font in 0.48.1 on Debian?

2018-04-06 Thread Peter P.
Hi list, with the latest Debian testing versions (0.48.1) the font for the console menus comes up with 24pt size, although the font dialog indicates 12pt. Upon clicking 12pt once more the font changes to 12pt. My .pdsettings file holds -font-size 12 but the described behavior exists als