Comment puis-je améliorer / remplacer View Source dans Safari?

14

En tant que nouveau converti en Safari, je suis étonné de voir à quel point la source par défaut de la page est insupportablement laide.
La police est misérablement petite et sans biais, laissez la couleur en surbrillance.

Existe-t-il un moyen d'améliorer la fonction View Source de Safari ou de la remplacer de manière transparente?

Je cherche:

police par défaut raisonnable, personnalisable, c'est mieux;
mise en évidence de la syntaxe HTML / JS de base;
travaillant sur Lion.

Veuillez vous abstenir de suggérer de visualiser la source avec Web Inspector: c'est bien mais ce n'est pas pratique pour une navigation rapide dans la source.

lion software-recommendation safari

— Dan
source

1

En fait, je viens de remarquer que Cmd + fonctionne dans cette fenêtre, donc ce n'est pas si mal. Une fois que vous avez zoomé, l'anticrénelage est activé.

— Dan

+1 @Dan Merci pour le conseil Cmd +! (utile surtout sur 13 "...)

— Martin S. Stoller

10

BetterSource

Elle est similaire à la source de vue dans Chrome à bien des égards:

Il a une coloration syntaxique et des numéros de ligne
Il est ouvert dans un onglet au lieu d'une fenêtre
Utilise la police monospace par défaut spécifiée dans les préférences au lieu de Monaco 12

Limites:

Les numéros de ligne sont inclus dans les sélections
La vue source ne peut pas être ouverte avec un raccourci
Il faut un peu plus de temps pour apparaître que la fenêtre source normale

Définition d'un niveau de zoom par défaut dans une feuille de style personnalisée

La feuille de style personnalisée que vous pouvez spécifier dans l'onglet Avancé des préférences affecte également la fenêtre source de la vue. Je ne sais pas comment le cibler spécifiquement, mais cela appliquerait un niveau de zoom par défaut au contenu et au site Web:

body { zoom: 125%; }

afficher la source dans TextMate.scpt

tell application "Safari" to tell document 1
    repeat 100 times
        if (do JavaScript "document.readyState") is "complete" then exit repeat
        delay 0.05
    end repeat
    set src to source
    set u to URL
end tell

try
    tell application "TextMate"
        open POSIX file u
        activate
    end tell
on error
    set f to do shell script "f=`echo " & quoted form of u & " |
    sed 's|.*://||;s|/$||;s|:|-|g;s|/|-|g'`; echo \"/tmp/view-source-$f.html\""
    do shell script "/bin/echo " & quoted form of src & " > " & quoted form of f
    set f to POSIX file f
    tell application "TextMate"
        activate
        open f
    end tell
end try

— Lri
source

5

Jetez un œil à cette extension Safari:

entrez la description de l'image ici

Extension BetterSource Safari 5

BetterSource affiche la source du document dans un nouvel onglet, avec les numéros de ligne et la coloration syntaxique.

— stuffe
source

Merci. C'est un peu déroutant car l'ancien menu View Source est toujours là et je continue de le choisir. Mais je suppose que c'est certainement une bonne option.

— Dan

2

Vous devez aller dans Préférences Système - Général et en bas définir la taille de police minimale pour l'anticrénelage à 4 pixels. De cette façon, vous obtiendrez l'anticrénelage pour les petites polices.

(Je n'ai jamais compris pourquoi ils doivent vous laisser sélectionner cela - les polices de moins de 8 pixels ne sont tout simplement pas lisibles sans anticrénelage)

— w00t
source

Pour une raison quelconque, même après m'être assuré qu'il est réglé sur 4 pixels, je reçois toujours la source sans biais sauf si je fais un zoom avant. Et j'avais 4 pixels par défaut sur mon 17 'MBP.

— Dan

1

Vous avez raison ... Le coupable semble être la police Monaco qui ne fait pas d'antialias même à la taille de point 10. Rien dans cette police ne semble sortir de l'ordinaire. Certaines recherches dans les fichiers .nib semblent montrer que Safari pourrait utiliser WebKitFixedFont comme clé de préférence - mais il a également Monaco en code dur. Voir strings /Applications/Safari.app/Contents//Resources/English.lproj/HTMLSource.nib/objects.nibet opensource.apple.com/source/WebKit/WebKit-7534.48.3/win/…

— w00t

2

Si vous allez dans les préférences de Safari> Avancé et définissez "Ne jamais utiliser des tailles de police inférieures à" sur 11, cela devrait résoudre le problème d'anti-crénelage.

Pour la mise en évidence des couleurs, vous pouvez utiliser un plugin SIMBL appelé Safari Source qui le fera pour vous.

MISE À JOUR: En fait, dans la page des paramètres de la source Safari (Safari> Préférences> Source Safari), vous pouvez définir la taille de police pour la page source de la vue. Donc, réglez-le sur n'importe quoi au-dessus de 11 et ça va antialias.

— akhenig
source