Comment améliorer/remplacer View Source dans Safari ?

BetterSource

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

• Il dispose d'une coloration syntaxique et de numéros de ligne
• Il s'ouvre 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

Limitations :

• Les numéros de ligne sont inclus dans les sélections
• La vue source ne peut pas être ouverte avec un raccourci
• Le délai d'apparition est légèrement plus long que celui de 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 de la source d'affichage. Je ne sais pas comment la cibler spécifiquement, mais cela permettrait d'appliquer un niveau de zoom par défaut à la fois à cette fenêtre et au contenu du site Web :

body { zoom: 125%; }

voir 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