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

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.

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

Jetez un œil à cette extension Safari:

Extension BetterSource Safari 5

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

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)

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.