Come posso migliorare / sostituire View Source in Safari?

BetterSource

ÈsimileallasorgentedivisualizzazioneinChromeinmoltimodi:

• Hal'evidenziazionedellasintassieinumeridiriga
• Vieneapertoinunaschedaanzichéinunafinestra
• UtilizzailcaratteremonospacepredefinitospecificatonellepreferenzeanzichéMonaco12

Limitazioni:

• Inumeridirigasonoinclusinelleselezioni
• Lavistasorgentenonpuòessereapertaconuncollegamento
• Prendeleggermentepiùtempoperapparirerispettoallanormalefinestrasorgente

Impostazionediunlivellodizoompredefinitoinunfogliodistilepersonalizzato

IlfogliodistilepersonalizzatochepuoispecificarenellaschedaAvanzatedellepreferenzeinfluisceanchesullafinestradell'originedellavista.Nonsocometargetizzareinmodospecifico,maquestoapplicherebbeunlivellodizoompredefinitosiaperilcontenutodelsitowebsiaperquello:

body{zoom:125%;}

visualizzal'origineinTextMate.scpt

tellapplication"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

Dai un'occhiata a questa estensione di Safari:

BetterSource Safari 5 Extension

BetterSource shows the document source in a new tab, with line numbers, and colour syntax highlighting.

Devi andare in Preferenze di Sistema - Generale e in basso impostare la dimensione minima del carattere per l'antialias a 4 pixel. In questo modo otterrai antialiasing per caratteri piccoli.

(Non ho mai capito perché devono permettervi di selezionarlo - sotto i font 8px non sono leggibili senza antialiasing)

Se vai alle preferenze di Safari > Avanzate e impostate "Mai usare font di dimensioni minori di" su 11, dovrebbe risolvere il problema dell'antialiasing.

Per l'evidenziazione del colore puoi usare un plugin SIMBL chiamato Safari Source questo lo farà per te.

AGGIORNAMENTO: in realtà, nella pagina delle impostazioni di Safari Source (Safari > Preferences > Safari Source) puoi impostare la dimensione del carattere per la pagina di origine della vista. Quindi impostalo su qualsiasi valore superiore a 11 e sarà antialias.