Pesquisa de dicionário mais ampla e mais alta (estilo de pesquisa de dicionário pop-up) no OS X

14

É possível alterar a fonte e o tamanho da fonte para o pop-up de pesquisa com três dedos. Você só precisa editar o arquivo css para os dicionários que você usa, por exemplo:

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

encontre html.apple_client-panel body {e edite propriedades

Agora, na verdade, quero ir além e aumentar a área pop-up inteira - um pouco mais larga e um pouco mais alta. Como eu posso fazer isso?

iLemming
fonte

Respostas:

1

Primeiro de tudo, descubra o caminho do dicionário que você deseja modificar . Isso depende do dicionário que você deseja modificar, mas o caminho deve ser algo como isto:

/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

Em seguida, abra esse arquivo em qualquer editor de texto / código que você gostaria, poderia ser até mesmo vim, como na pergunta original, e abri-lo para modificação, procurar font-sizeparâmetro para bodyelemento, ele poderia ser definido em pt, px, em. Se você quiser se aprofundar nos detalhes do CSS, leia os tutoriais ou o manual no font-size. Parece ser um arquivo CSS comum , para definição de estilos, por isso é fácil trabalhar com ele.

Você pode alterar o tamanho da fonte, para torná-la maior / menor, isso pode ser conseguido através da modificação de parâmetros em CSS:

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

Ou assim:

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

Você pode encontrar algumas capturas de tela e explicações adicionais em apple.disscussions .

Pode-se também brincar line-height, se font-sizenão trouxe legibilidade suficiente. Se você deseja alterar a própria janela ou o espaçamento ao redor do texto, então você pode querer modificar margin( margin-top, margin-bottom, etc) ou padding( padding-left, padding-right, etc).

Tentou explicar isso para os caras, que não são desenvolvedores da web, espero que isso ajude. Pergunte se você recebeu perguntas adicionais para mim ou pesquise-as no StackOverflow (é para perguntas de desenvolvedores), mas acho que será direto para você agora.

Farside
fonte