Как я могу улучшить / заменить View Source в Safari?

14

Как новый конвертер в Safari, я удивлен тем, насколько невыносимо уродливо выглядит исходный вид страницы по умолчанию.
Шрифт ничтожно мал и бесцветен, оставьте в покое цветовую подсветку.

Есть ли способ улучшить функцию просмотра исходного кода Safari или заменить ее?

Я ищу:

разумный шрифт по умолчанию, лучше настраиваемый;
базовая подсветка синтаксиса HTML / JS;
работает на льва.

Пожалуйста, воздержитесь от предложения просмотра источника с помощью Web Inspector: это хорошо, но не удобно для быстрого просмотра источников.

lion software-recommendation safari

— Дэн
источник

1

На самом деле, я только что заметил Cmd + работает в этом окне , так что это не что плохо. После увеличения масштаба включается сглаживание.

— Дэн

+1 @Dan Спасибо за подсказку Cmd +! (полезно особенно на 13 "...)

— Мартин С. Столлер

10

BetterSource

Он во многом похож на исходный вид в Chrome:

Имеет подсветку синтаксиса и номера строк
Он открывается на вкладке вместо окна
Использует моноширинный шрифт по умолчанию, указанный в настройках вместо Monaco 12

Ограничения:

Номера строк включены в выбор
Исходный вид нельзя открыть с помощью ярлыка
Занимает немного больше времени, чем обычное окно источника

Установка уровня масштабирования по умолчанию в пользовательской таблице стилей

Настраиваемая таблица стилей, которую вы можете указать на вкладке «Дополнительно» в настройках, также влияет на окно источника просмотра. Я не знаю, как конкретно настроить таргетинг, но при этом будет применяться уровень масштабирования по умолчанию как для него, так и для контента сайта:

body { zoom: 125%; }

просмотреть источник в 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
источник

5

Взгляните на это расширение Safari:

введите описание изображения здесь

Расширение BetterSource Safari 5

BetterSource показывает источник документа в новой вкладке с номерами строк и цветовой подсветкой синтаксиса.

— stuffe
источник

Благодарю. Это немного сбивает с толку, потому что старое меню View Source все еще там, и я продолжаю выбирать его. Но я думаю, что это, безусловно, хороший вариант.

— Дэн

2

Вам нужно перейти в «Системные настройки» - «Общие» и в нижней части установить минимальный размер шрифта для сглаживания до 4 пикселей. Таким образом, вы получите сглаживание для маленьких шрифтов.

(Я никогда не понимал, почему они должны позволять вам выбирать это - шрифты под 8px просто не читаются без сглаживания)

— w00t
источник

По какой-то причине, даже после того, как он был установлен на 4 пикселя, я все равно получаю исходное изображение без сальдо, пока не увеличу масштаб. И у меня было 4 пикселя по умолчанию на моем 17-дюймовом MBP.

— Дан

1

Вы правы ... Похоже, виновником является шрифт Monaco, который не сглаживает даже при размере шрифта 10. Ничто в этом шрифте не кажется необычным. Некоторые ошибки в файлах .nib, кажется, показывают, что Safari может использовать WebKitFixedFont в качестве ключа предпочтения - но он также имеет жестко закодированный Монако. Смотрите strings /Applications/Safari.app/Contents//Resources/English.lproj/HTMLSource.nib/objects.nibи opensource.apple.com/source/WebKit/WebKit-7534.48.3/win/…

— w00t

2

Если перейти к настройкам Safari> «Дополнительно» и установить «Никогда не использовать размер шрифта меньше» на 11, это должно решить проблему сглаживания.

Для цветовой подсветки вы можете использовать плагин SIMBL под названием Safari Source , который сделает это за вас.

ОБНОВЛЕНИЕ: На самом деле, на странице настроек источника Safari (Safari> Настройки> Источник Safari) вы можете установить размер шрифта для страницы источника представления. Так что установите его на что-нибудь выше 11, и это сгорит.

— akhenig
источник