Modification/personnalisation de la police Web Inspector de Safari

Question

Existe-t-il un moyen de personnaliser la taille de la police de Web Inspector de Safari? J'ai trouvé ces liens sur le web et je les ai essayé, mais ne semble pas fonctionner:

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

S'il n'y a pas de solution à ce problème, je pourrais revenir à Chrome, car ils offrent même juste une fonction de zoom pour leur propre inspecteur Web. Les polices Web Inspector de Safari sont trop petites pour moi et mes yeux en souffrent.

Je serais heureux d'entendre parler de solutions de contournement ou de solutions que tout le monde pourrait avoir.

Answer 1

Les articles que vous avez liés renvoient à une version antérieure de Safari. Pour la version 6, le CSS est dans un emplacement différent, en fonction de la version de votre système d'exploitation.

Pour 10.7.x:

/System/Library/StagedFrameworks/Safari/WebInspector.framework/Versions/Current/Resources/Main.css

Pour 10.8.x:

/Système /Library/PrivateFrameworks/WebInspector.framework/Versions/Current/Resources/Main.css

Vous aurez besoin de chmod le fichier pour l'éditer (sauvegarder d'abord) et il est compressé donc en utilisant un outil qui peut prétendre CSS C'est une bonne idée (j'ai utilisé WebStorm).

Pour autant que je sache, je n'ai pas encore identifié la classe de taille de police principale dans le fichier. Je vous le ferai savoir si je le fais (ou peut-être que quelqu'un d'autre interviendra).

Answer 2

J'ai fini par faire une recherche/remplacement dans Main.css pour 'font-size: 11px' jusqu'à 14px.

Answer 3

testé sur Safari 9.1 (11601.5.17.1) sur OSX 10.11.4 au 2016-05-08 https://gist.github.com/JMichaelTX/9d8791f136c792450301e4d85e29b671

Answer 4

Au moment où cette question a été posée, il n'a pas été facile de changer le niveau de zoom.

Dans les versions récentes de WebKit, Il est désormais possible de zoomer sur l'interface de Web Inspector en utilisant ⌘- et ⌘ +. Ceci devrait être disponible dans toutes les versions de Safari Technology Preview.

Il n'est pas possible de modifier la face de la police via l'interface utilisateur, bien que d'autres polices de caractères soient utilisées dans différentes localisations.