pure-data : Petite aide pour Changer la taille des caracteres

nahkira · 2016-02-10 23:46:54

Salut a tous

Désolé pour cette question de débutant, je cherche à agrandir la taille des charactere de l'interface
mais je me heurte à des erreurs à chaque essais. je précise etre sous windows.

j'ai testé ces codes ci

file:///C:/Program%20Files%20%28x86%29/pd/bin/pd.exe" -font 16 -path "

ou

C:/pd/bin/pd.exe" -font 16 -path "

ou

".\bin\pd.exe" -font 16 -path "

Mais cela ne semble pas etre la bonne voie.
Cela pourra également m'aider à comprendre le fonctionnement du
chargement des librairies

merci de votre aide

Olivier · 2016-02-11 03:37:51

Hello...

Je ne sais pas exactement le comportement que tu cherches à obtenir, mais saches que si tu agrandis la police via le menu "Edition > Police..." et que tu sauvegardes ton patch, la taille de la Police sera conservée (mais uniquement pour le patch en question).

Pour ton information, sur Ubuntu 14.04, la commande suivante fonctionne pour définir la taille par défaut :

puredata -font 16

nahkira · 2016-02-11 07:50:52

Salut

et merci pour la réponse

Le comportement que je cherche est l'agrandissement de la taille des polices
de l'interface que je trouve trop petit (j'ai pas une super vue). j'ai copier/coller le code
que tu propose dans le champ "option au démarrage" des préférences mais sans effet

je continue ma recherche

merci

Olivier · 2016-02-11 15:10:10

Cette commande est à exécuter dans un terminal.
Elle permet de lancer Puredata avec certaine option, ici "-font".
Elle n'est donc pas à placer dans les "options aux démarrage".

Peut-être est-il possible sous Windows de juste rajouter "-font 16" dans le raccourcis qui te permette de lancer Puredata...

Est-ce que le changement de la taille de la police ponctuellement via le menu "Edition > Police..." fonctionne ?
Je comprends bien que tu voudrais que ce soit permanent, mais c'est pour faire le tour des problèmes potentiels.

nahkira · 2016-02-12 20:22:57

merci pour la réponse

oui oui le changement de police via le menu "Edition > Police..." fonctionne...
mais pas sur l'interface.
il faut que je test via le terminal mais j'ai un peu peur de me vautrer !!

paresys · 2016-02-13 10:05:11

Salut nahkira & Olivier

Je viens de vérifier sous Pd-extended sous Windows 7

Menu Edition -> Preferences -> Options au démarrage -> -font-size 16 -> Appliquer -> OK
Ca marche

J'ai trouvé ça là:
https://puredata.info/docs/faq/commandline

Ca change la taille des caractères au démarrage de Pd dans les fenêtres des patches mais pas dans la console Pd.

Attention à bien taper: "-font-size 16"

Annonce

#1 2016-02-10 23:46:54 Petite aide pour Changer la taille des caracteres

Petite aide pour Changer la taille des caracteres

#2 2016-02-11 03:37:51 Re : Petite aide pour Changer la taille des caracteres

Re: Petite aide pour Changer la taille des caracteres

#3 2016-02-11 07:50:52 Re : Petite aide pour Changer la taille des caracteres

Re: Petite aide pour Changer la taille des caracteres

#4 2016-02-11 15:10:10 Re : Petite aide pour Changer la taille des caracteres

Re: Petite aide pour Changer la taille des caracteres

#5 2016-02-12 20:22:57 Re : Petite aide pour Changer la taille des caracteres

Re: Petite aide pour Changer la taille des caracteres

#6 2016-02-13 10:05:11 Re : Petite aide pour Changer la taille des caracteres

Re: Petite aide pour Changer la taille des caracteres

Pied de page des forums