Pencarian kamus lebih luas dan lebih tinggi (gaya pencarian kamus pop-up) di OS X

14

Dimungkinkan untuk mengubah font dan ukuran font untuk popup lookup 3-jari. Anda hanya perlu mengedit file css untuk kamus yang Anda gunakan, misalnya:

sudo vim /Library/Dictionaries/New\ Oxford\ American\ Dictionary.dictionary/Contents/Resources/DefaultStyle.css

temukan html.apple_client-panel body {dan edit properti

Sekarang saya benar-benar ingin melangkah lebih jauh dan membuat seluruh area popup lebih besar - sedikit lebih lebar dan lebih tinggi. Bagaimana saya bisa melakukan itu?

yosemite mavericks mountain-lion el-capitan dictionary iLemming
sumber

Jawaban:

1

Pertama-tama, cari tahu jalur kamus yang ingin Anda ubah . Ini tergantung pada kamus yang ingin Anda modifikasi, tetapi path Anda akan terlihat seperti ini:

/System/Library/Assets/com_apple_MobileAsset_DictionaryServi‌​ces_dictionaryOSX/04‌​2bf65b3ae80e4564c339‌​fcf00fa9924bd16dd3.a‌​sset/AssetData/Apple Dictionary.dictionary/Contents/Resources/English.lproj/Apple‌​Dictionary.css

Kemudian buka file ini di editor teks / kode yang Anda ingin, itu bisa lebih vim, seperti dalam pertanyaan awal, dan membukanya untuk modifikasi, mencari font-sizeparameter untuk bodyelemen, itu bisa didefinisikan dalam pt, px, em. Jika Anda ingin mengetahui lebih jauh tentang detail CSS, Anda dapat membaca tutorial atau manual di font-size. Tampaknya menjadi file CSS biasa , untuk definisi gaya, jadi mudah digunakan.

Anda dapat mengubah ukuran font, untuk membuatnya lebih besar / lebih kecil, itu bisa dicapai dengan modifikasi parameter di CSS:

body {
  ...
  font-size: 15pt; /* <== look for this parameter, and scale it up to your taste */
  ...
}

Atau seperti ini: 

html.apple_client-panel body {
    ...
    font-size: 15px;
    ...
}

Anda dapat menemukan beberapa tangkapan layar dan penjelasan tambahan di apple.disscussions .

Seseorang juga bisa bermain line-height, jika font-sizebelum membawa keterbacaan yang cukup. Jika Anda ingin mengubah jendela itu sendiri atau jarak sekitar teks, maka Anda mungkin ingin memodifikasi margin( margin-top, margin-bottom, dll) atau padding( padding-left, padding-right, dll).

Mencoba menjelaskan hal ini kepada orang-orang, yang bukan pengembang web sendiri, berharap ini bisa membantu. Tanyakan apakah Anda memiliki pertanyaan tambahan kepada saya, atau cari di StackOverflow (ini untuk pertanyaan pengembang), tapi saya pikir itu akan langsung bagi Anda sekarang.

Sisi jauh
sumber