Bagaimana saya bisa meningkatkan / mengganti View Source di Safari?

14

Sebagai seorang mualaf baru ke Safari, saya heran dengan betapa buruknya tampilan sumber halaman yang tidak tertahankan.
Fon berukuran sangat kecil dan tidak berubah, biarkan highlight warna saja.

Apakah ada cara untuk meningkatkan fitur Sumber Tampilan Safari atau menggantinya dengan mulus?

Saya mencari:

font default yang masuk akal, dapat disesuaikan lebih baik;
penyorotan sintaksis HTML / JS dasar;
bekerja pada Lion.

Harap jangan menyarankan sumber tampilan dengan Web Inspektur: bagus tapi tidak nyaman untuk penelusuran sumber cepat.

lion software-recommendation safari

— Dan
sumber

1

Bahkan, saya hanya melihat Cmd + bekerja di jendela ini sehingga tidak yang buruk. Setelah Anda memperbesar, antialiasing menyala.

— Dan

+1 @Dan Terima kasih atas tip + CDM! (berguna terutama pada 13 "...)

— Martin S. Stoller

10

Sumber yang lebih baik

Ini mirip dengan sumber tampilan di Chrome dalam banyak hal:

Ini memiliki penyorotan sintaks dan nomor baris
Dibuka di tab bukan jendela
Menggunakan font monospace default yang ditentukan dalam preferensi alih-alih Monaco 12

Keterbatasan:

Nomor baris termasuk dalam pilihan
Tampilan sumber tidak dapat dibuka dengan pintasan
Dibutuhkan sedikit lebih lama untuk muncul daripada jendela sumber normal

Mengatur tingkat pembesaran standar dalam lembar gaya khusus

Lembar gaya khusus yang dapat Anda tentukan di tab Advanced preferensi juga mempengaruhi jendela sumber tampilan. Saya tidak tahu bagaimana menargetkannya secara khusus, tetapi ini akan menerapkan tingkat pembesaran standar untuk konten dan situs web:

body { zoom: 125%; }

lihat sumber di 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
sumber

5

Lihatlah ekstensi Safari ini:

masukkan deskripsi gambar di sini

Ekstensi BetterSource Safari 5

BetterSource menunjukkan sumber dokumen di tab baru, dengan nomor baris, dan penyorotan sintaksis warna.

— barang
sumber

Terima kasih. Ini sedikit membingungkan karena menu View Source lama masih ada dan saya tetap memilihnya. Tapi kurasa itu pilihan yang bagus.

— Dan

2

Anda harus pergi ke System Preferences - General dan di bagian bawah mengatur ukuran font minimum untuk antialiasing hingga 4 piksel. Dengan begitu Anda akan mendapatkan antialiasing untuk font kecil.

(Saya tidak pernah mengerti mengapa mereka harus membiarkan Anda memilih itu - di bawah font 8px tidak dapat dibaca tanpa antialiasing)

— w00t
sumber

Untuk beberapa alasan, bahkan setelah memastikan itu diatur ke 4 piksel, saya masih mendapatkan sumbernya tanpa kecuali kecuali saya memperbesar. Dan saya memiliki 4 piksel secara default pada MBP 17 'saya.

— Dan

1

Anda benar ... Pelakunya tampaknya font Monako yang tidak antialias bahkan pada ukuran 10. Tidak ada tentang font yang tampaknya luar biasa. Beberapa penyembunyian dalam file .nib tampaknya menunjukkan bahwa Safari mungkin menggunakan WebKitFixedFont sebagai kunci preferensi - tetapi Monaco juga memiliki hardcoded. Lihat strings /Applications/Safari.app/Contents//Resources/English.lproj/HTMLSource.nib/objects.nibdan opensource.apple.com/source/WebKit/WebKit-7534.48.3/win/…

— w00t

2

Jika Anda masuk ke preferensi Safari> Tingkat Lanjut dan mengatur "Jangan pernah menggunakan ukuran font yang lebih kecil dari" menjadi 11, ini akan memperbaiki masalah anti-aliasing.

Untuk menyoroti warna, Anda dapat menggunakan plugin SIMBL bernama Safari Source yang akan melakukannya untuk Anda.

UPDATE: Sebenarnya, di halaman pengaturan Sumber Safari (Safari> Preferensi> Sumber Safari) Anda dapat mengatur ukuran font untuk halaman sumber tampilan. Jadi atur ke apa pun di atas 11 dan itu akan antialias.

— akhenig
sumber