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

10 réponses

1 2 3
Avatar
Olivier
Le 7/06/06 22:09, dans C0ACFF17.675FB%, « Eric Levenez »
a écrit :

Je viens de trouver cela <http://www.transformation.ca/css/index.html>. Tu
sauvegardes ce qui est en gris dans un fichier avec l'extension css, et tu
le sélectionne comme Feuille de style. Après il suffit de modifier le
fichier pour l'adapter à tes besoins.



Ça transforme bien l'apparence de la page en cours dans le navigateur, mais
peau de bique pour la page "Code source" qui reste en Monaco c.10 :(
--
Olivier

Avatar
patpro ~ patrick proniewski
In article <C0AD03DC.32022%,
Olivier wrote:

Le 7/06/06 22:09, dans C0ACFF17.675FB%, « Eric Levenez »
a écrit :

Je viens de trouver cela <http://www.transformation.ca/css/index.html>. Tu
sauvegardes ce qui est en gris dans un fichier avec l'extension css, et tu
le sélectionne comme Feuille de style. Après il suffit de modifier le
fichier pour l'adapter à tes besoins.



Ça transforme bien l'apparence de la page en cours dans le navigateur, mais
peau de bique pour la page "Code source" qui reste en Monaco c.10 :(



de toute maniere, j'ai ben l'impression que l'affichage du code source
se fait sans passer par le webkit, donc je vois mal comment une CSS
pourrait influer dessus.

patpro

--
http://www.patpro.net/


Avatar
Olivier
Le 7/06/06 22:42, dans ,
« patpro ~ patrick proniewski » a écrit :

de toute maniere, j'ai ben l'impression que l'affichage du code source
se fait sans passer par le webkit, donc je vois mal comment une CSS
pourrait influer dessus.



Bien, mais alors comment et où est-ce défini ?
Dans une ressource du genre fichier HTMLSource.nib ? que je ne peux pas
ouvrir avec Interface Builder en outre ?
--
Olivier

Avatar
Olivier
Le 7/06/06 22:46, dans
1hgl2v4.1qaj9hc11im07zN%jose.campos+, « José Campos »
<jose.campos+ a écrit :

Juste change de navigateur ;-) De mémoire, parceque je ne les ai pas
sur cette machine, iCab, Shiira et peut-être même aussi Firefox
permettent de personnaliser l'affichage de la source.



lol...
J'ai plus simple encore : je copie le texte source dans BBEdit et j'ai la
police que je veux avec les couleurs de classe, etc.
Mais ce que je veux, c'est pouvoir "jeter un oeil" rapidement sur le code
dans Safari sans avoir à chaque fois à taper une commande supplémentaire,
comme une sorte de préférence qui n'existe pas que je voudrais avoir.
--
Olivier

Avatar
patpro ~ patrick proniewski
In article <C0AD08F2.3203C%,
Olivier wrote:

Bien, mais alors comment et où est-ce défini ?
Dans une ressource du genre fichier HTMLSource.nib ? que je ne peux pas
ouvrir avec Interface Builder en outre ?


je ne sais pas, sinon je te l'aurai dit :)
Essaye dans les définitions d'interface, pourquoi pas...

patpro

--
http://www.patpro.net/

Avatar
Olivier
Le 7/06/06 23:00, dans ,
« patpro ~ patrick proniewski » a écrit :

je ne sais pas, sinon je te l'aurai dit :)
Essaye dans les définitions d'interface, pourquoi pas...



Pourquoi pas ? Je regarderai de ce côté-là... demain.
Merci et bonne soirée,
--
Olivier

Avatar
romain
Olivier wrote:

Le 7/06/06 22:09, dans C0ACFF17.675FB%, « Eric Levenez »

Je viens de trouver cela <http://www.transformation.ca/css/index.html>. Tu
sauvegardes ce qui est en gris dans un fichier avec l'extension css, et tu
le sélectionne comme Feuille de style. Après il suffit de modifier le
fichier pour l'adapter à tes besoins.



Ça transforme bien l'apparence de la page en cours dans le navigateur, mais
peau de bique pour la page "Code source" qui reste en Monaco c.10 :(


Ça marche pas dans "Avancé" l'option "Ne jamais utililsé une police plus
petite que ..." avec une valeur à côté ? Chez moi, ça semble bien
fonctionner en tout cas.


--
Romain
Aloha Tan Maholo


Avatar
romain
Romain wrote:

Ça marche pas dans "Avancé" l'option "Ne jamais utililsé une police plus
petite que ..." avec une valeur à côté ? Chez moi, ça semble bien
fonctionner en tout cas.


Ok, j'avais très mal lu la question, ça n'a rien à voir... Désolé !

--
Romain
Aloha Tan Maholo

Avatar
Eric Levenez
Le 8/06/06 7:22, dans <1hglr4f.uowo7486xrgeN%,
« Romain » a écrit :

Romain wrote:

Ça marche pas dans "Avancé" l'option "Ne jamais utililsé une police plus
petite que ..." avec une valeur à côté ? Chez moi, ça semble bien
fonctionner en tout cas.


Ok, j'avais très mal lu la question, ça n'a rien à voir... Désolé !


Idem, je n'avais pas compris la question (qui était pourtant claire). Désolé
itou.

--
Éric Lévénez -- <http://www.levenez.com/>
Unix is not only an OS, it's a way of life.


Avatar
ludovic.cynomys
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" ;-))

--
Qu'est-ce qu'on fout là tous, dans ce petit coin d'Univers ?

1 2 3