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
>>>
>>> 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/03/04 at 19:05:23 
>>> UTC
>>>
>>> weird...
>>
>> the problem is, that "puredata" is only a meta-package that depends on
>> puredata-core, puredata-gui and more.
>> downgrading the meta-package might not downgrade puredata-gui and
>> puredata-core (the latter being the one that prints the version number,
>> the former being the one that would have the problems with the font).
> Thanks, I was suspecting this. Out of interest, is it normal that the
> meta package does not downgrade the depending packages?

i would say so, yes.
after all, downgrading packages is not really supported.
(the usual impliciation being, that configuration files will only be
converted into one direction.)

since i'm pretty convinced that your problem is not about the actual
Pd-version, i'm going to spend approximately zero time to support
downgrading if i'm not forced by some policy to do so).

so rather than spending much time with downgrading the package, i would
do other tests, like creating a new user and see whether the problem
persists in the pristine account.

(you also might want to consider adding the additional information
requested in your sf ticket.)

gfasmdr
IOhannes



signature.asc
Description: OpenPGP digital signature
___
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> 
https://lists.puredata.info/listinfo/pd-list


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.47.1-3
> > 
> > $ pd -version 
> > still gives me
> > Pd-0.48.1 ("") compiled for Debian (0.48.1-4) on 2018/03/04 at 19:05:23 
> > UTC
> > 
> > weird...
> 
> the problem is, that "puredata" is only a meta-package that depends on
> puredata-core, puredata-gui and more.
> downgrading the meta-package might not downgrade puredata-gui and
> puredata-core (the latter being the one that prints the version number,
> the former being the one that would have the problems with the font).
Thanks, I was suspecting this. Out of interest, is it normal that the
meta package does not downgrade the depending packages?

___
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> 
https://lists.puredata.info/listinfo/pd-list


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.48.1 ("") compiled for Debian (0.48.1-4) on 2018/03/04 at 19:05:23 
> UTC
> 
> weird...

the problem is, that "puredata" is only a meta-package that depends on
puredata-core, puredata-gui and more.
downgrading the meta-package might not downgrade puredata-gui and
puredata-core (the latter being the one that prints the version number,
the former being the one that would have the problems with the font).

fgamsdr
IOhannes



signature.asc
Description: OpenPGP digital signature
___
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> 
https://lists.puredata.info/listinfo/pd-list


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/03/04 at 19:05:23 
UTC

weird...
P

___
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> 
https://lists.puredata.info/listinfo/pd-list


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/



2018-04-16 14:42 GMT+02:00 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 12pt. Upon clicking 12pt once more the font changes to 12pt.
> >
> > My .pdsettings file holds
> >   -font-size 12
> >
> > but the described behavior exists also when starting Pd with the
> > -noprefs flag.
> >
> > Starting Pd with -verbose -d 3 gives a hint about the used font
> >   {DejaVu Sans Mono} bold
> >
> > Explicitely starting
> >   pd -font-weight normal -font-size 12 -font-face "DejaVu Sans Mono"
> > does not help either.
> >
> > Is this problem known?
> >
> > Thank you for packaging and maintaining Pd for Debian!
> > Peter
>
> ___
> Pd-list@lists.iem.at mailing list
> UNSUBSCRIBE and account-management -> https://lists.puredata.info/
> listinfo/pd-list
>
___
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> 
https://lists.puredata.info/listinfo/pd-list


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 12pt. Upon clicking 12pt once more the font changes to 12pt.
> 
> My .pdsettings file holds 
>   -font-size 12
> 
> but the described behavior exists also when starting Pd with the
> -noprefs flag.
> 
> Starting Pd with -verbose -d 3 gives a hint about the used font
>   {DejaVu Sans Mono} bold
> 
> Explicitely starting
>   pd -font-weight normal -font-size 12 -font-face "DejaVu Sans Mono"
> does not help either.
> 
> Is this problem known?
> 
> Thank you for packaging and maintaining Pd for Debian!
> Peter

___
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> 
https://lists.puredata.info/listinfo/pd-list


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

2018-04-06 Thread Dan Wilcox
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." >
> To: pd-list >
> Subject: [PD] Gui Font in 0.48.1 on Debian?
> Message-ID: <20180406093630.v3qqkphqdoo6m...@fastmail.com 
> >
> Content-Type: text/plain; charset=us-ascii
> 
> 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 also when starting Pd with the
> -noprefs flag.
> 
> Starting Pd with -verbose -d 3 gives a hint about the used font
>   {DejaVu Sans Mono} bold
> 
> Explicitely starting
>   pd -font-weight normal -font-size 12 -font-face "DejaVu Sans Mono"
> does not help either.
> 
> Is this problem known?
> 
> Thank you for packaging and maintaining Pd for Debian!
> Peter


Dan Wilcox
@danomatika 
danomatika.com 
robotcowboy.com 



___
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> 
https://lists.puredata.info/listinfo/pd-list