7 votes

Modifier la taille de la police de l'inspecteur Web de Safari

Quelqu'un sait-il comment modifier la taille de la police dans l'inspecteur Web de Safari ? Elle est trop petite pour moi et mes yeux ne supportent pas de la regarder pendant de longues périodes.

J'ai trouvé quelques liens sur le web concernant ma question mais ils ne semblent pas fonctionner non plus :

  1. https://gist.github.com/vlazar/1549785
  2. http://miekd.com/articles/adding-some-monospace-to-the-safari-web-inspector/

Je reviendrai à Chrome et utiliserai son propre inspecteur Web s'il n'y a pas de solution disponible.

3voto

eliterrell Points 41

Merci pour les réponses ci-dessus. À titre de mise à jour, dans Mavericks 10.9, le fichier est toujours Main.css et se trouve maintenant au chemin suivant :

/System/Library/PrivateFrameworks/WebInspectorUI.framework/Versions/A/Resources

Vous pouvez également trouver le fichier en utilisant la commande suivante dans le terminal :

find /System/Library/PrivateFrameworks -name Main.css

2 votes

Plutôt que de remercier les autres réponses dans votre réponse, vous pouvez commenter ou, de préférence, utiliser vos votes et upvoter la réponse qui vous plaît.

2voto

Ruskes Points 44895

À la fin du fichier inspector.css, ajoutez la taille et le style de la police.

Le fichier est situé dans /System/Library/Frameworks/WebKit.framework/Versions/A/Frameworks/WebCore.framework/Versions/A/Resources/inspector

(pour Safari sous Windows, le fichier se trouve à l'adresse suivante : C:\Program Files (x86)\Safari\Apple Application Support\WebKit.resources\inspector\inspector.css )

Un exemple :

body, #console-messages{
font-size:18px;
}

0 votes

Il n'y a pas de fichier inspector.css dans ce répertoire :(

2voto

Paul Bastowski Points 121

Pour Mountain Lion (10.8.x), j'ai trouvé que le nom du fichier est en fait Main.css et sur mon système, il est situé dans :

/System/Library/PrivateFrameworks/WebInspector.framework/Versions/Current/Resources/

Ajoutez le texte suivant à la fin de ce fichier et enregistrez-le. Il s'agit essentiellement du même texte que dans l'autre réponse de ce fil, mais sans les sauts de ligne.

body, #console-messages{font-size:18px;}

Vous devrez redémarrez votre Safari après avoir effectué ce changement, avant qu'il ne prenne effet.

Conseil : Pour ouvrir rapidement le dossier où se trouve Main.css...

  1. Sélectionnez le chemin
  2. Cliquez avec le bouton droit de la souris sur le chemin sélectionné, puis choisissez dans le menu contextuel : Services -> Ouvrir .
  3. Cela ouvrira le dossier pour vous.

1 votes

Ça n'a pas marché pour moi. Existe-t-il une méthode moins compliquée ?

1 votes

Pas à ma connaissance. En fait, je suis passé à Chrome pour mon développement web. Dans Chrome, il suffit d'appuyer sur Cmd+/- pour ajuster la taille de la police de la console et de l'environnement de développement, et je n'ai plus de problèmes de perte de mémoire, comme c'était le cas avec Safari.

LesApples.com

LesApples est une communauté de Apple où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres utilisateurs d'appareils Apple, poser vos propres questions ou résoudre celles des autres.

Powered by:

X