OVH Cloud OVH Cloud

Police code source Safari

22 réponses
Avatar
Olivier
Bonjour,
Est-il possible de changer la police/taille du texte du code source de
Safari ? Le monaco c.10 m'est quasi illisible.
--
Olivier

2 réponses

1 2 3
Avatar
Olivier
Le 9/06/06 14:51, dans
1hgo6h6.1px2aotz3lotvN%, « Ludovic Cynomys »
a écrit :

Olivier wrote:

Est-il possible de changer la police/taille du texte du code source de
Safari ? Le monaco c.10 m'est quasi illisible.


j'ai un peu lu toutes les réponses, et je suis un peu étonné, car chez
moi, ça s'affiche en Monaco 16, et c'est "colorisé"...

en fouillant un peu, j'ai compris pourquoi: c'est un réglage de
SafariStand 2 !!!

lequel SafariStand me sert surtout à masquer les pub intrusives (à la
place j'ai un cadre gris, avec écrit "Plugin - Click to load" ;-))


Merci pour l'information, ça marche en effet.
Mais je ne veux pas rajouter qque chose à Safari, je veux simplement
modifier cette tabernouche de valeur de monaco c.10 par défaut.
En outre j'y travaille, il semblerait que le solution soit du côté des .nib
--
Olivier, têtu


Avatar
Olivier
Le 9/06/06 20:45, dans 1hgoj7t.1vennqbddu5wkN%, « Xavier »
a écrit :

SafariStand, comme tous les programmes "d'extension" de Safari ne fait
rien d'autre que modifier des préférences existantes, mais pour
lesquelles il n'est pas prévu d'interface.


Ça confirmerait donc ce que je pense : la préférence en question existe bien
quelque part. J'y retourne.
Merci,
--
Olivier

1 2 3