Como posso melhorar / substituir o View Source no Safari?

14

Como um novo convertido para o Safari, fico surpreso com o quão insuportavelmente feia é a exibição da origem da página padrão.
A fonte é miseravelmente pequena e sem alias, deixe o destaque de cores em branco.

Existe uma maneira de aprimorar o recurso View Source do Safari ou substituí-lo perfeitamente?

Estou procurando por:

  • fonte padrão razoável, personalizável é melhor;
  • destaque básico da sintaxe HTML / JS;
  • trabalhando no Lion.

Evite sugerir a visualização da fonte com o Web Inspector: é bom, mas não é conveniente para a navegação rápida na fonte.

Dan
fonte
1
Na verdade, eu só notei Cmd + funciona nesta janela, então não é que ruim. Depois de aumentar o zoom, o antialiasing é ativado.
Dan
+1 @ Dan Obrigado pela dica de Cmd +! (útil especialmente em 13 "...)
Martin S. Stoller 04/10

Respostas:

10

BetterSource

É semelhante à fonte de visualização no Chrome de várias maneiras:

  • Possui destaque de sintaxe e números de linha
  • É aberto em uma guia em vez de em uma janela
  • Usa a fonte monoespaçada padrão especificada nas preferências em vez de Mônaco 12

Limitações:

  • Os números de linha estão incluídos nas seleções
  • A visualização de origem não pode ser aberta com um atalho
  • Demora um pouco mais para aparecer do que a janela de origem normal

Definindo um nível de zoom padrão em uma folha de estilos personalizada

A folha de estilos personalizada que você pode especificar na guia Avançado das preferências também afeta a janela de origem da exibição. Não sei como segmentá-lo especificamente, mas isso aplicaria um nível de zoom padrão ao conteúdo dele e do site:

body { zoom: 125%; }

ver fonte no 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
fonte
5

Dê uma olhada nesta extensão do Safari:

insira a descrição da imagem aqui

Extensão BetterSource Safari 5

O BetterSource mostra a fonte do documento em uma nova guia, com números de linha e destaque da sintaxe da cor.

abafar
fonte
Obrigado. Isso é um pouco confuso, porque o antigo menu View Source ainda está lá e eu continuo escolhendo. Mas acho que é certamente uma boa opção.
Dan
2

Você precisa ir para Preferências do sistema - Geral e, na parte inferior, definir o tamanho mínimo da fonte para suavização de borda para 4 pixels. Dessa forma, você terá antialiasing para fontes pequenas.

(Eu nunca entendi por que eles têm que permitir que você selecione isso - as fontes com menos de 8 px não são legíveis sem antialiasing)

w00t
fonte
Por algum motivo, mesmo depois de garantir que ele esteja definido como 4 pixels, ainda assim a fonte fica sem alias, a menos que eu aumente o zoom. E eu tinha 4 pixels por padrão no meu MBP de 17 '.
Dan
1
Você está certo ... O culpado parece ser a fonte de Mônaco, que não antialias, mesmo no tamanho de ponto 10. Nada nessa fonte parece estar fora do comum. Algumas investigações nos arquivos .nib parecem mostrar que o Safari pode usar o WebKitFixedFont como uma chave de preferência - mas também possui o Mónaco codificado. Veja strings /Applications/Safari.app/Contents//Resources/English.lproj/HTMLSource.nib/objects.nibe opensource.apple.com/source/WebKit/WebKit-7534.48.3/win/…
w00t
2

Se você acessar as preferências do Safari> Avançado e definir "Nunca use tamanhos de fonte menores que" para 11, ele deverá corrigir o problema de anti-aliasing.

Para realçar as cores, você pode usar um plugin SIMBL chamado Safari Source que fará isso por você.

ATUALIZAÇÃO: Na verdade, na página de configurações de Origem do Safari (Safari> Preferências> Origem do Safari), você pode definir o tamanho da fonte para a página de origem da visualização. Então, defina-o como qualquer coisa acima de 11 e ele será antialias.

akhenig
fonte