Recherche de dictionnaire plus large et plus haute (style de recherche de dictionnaire contextuel) sous OS X

Il est possible de changer la police et la taille de la police pour la fenêtre de recherche à 3 doigts. Il vous suffit de modifier le fichier css pour les dictionnaires que vous utilisez, par exemple:

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

rechercher html.apple_client-panel body {et modifier des propriétés

Maintenant, je veux aller plus loin et agrandir toute la zone popup - un peu plus large et un peu plus haute. Comment puis je faire ça?

— iLemming
source

Tout d'abord, recherchez le chemin du dictionnaire que vous souhaitez modifier . Cela dépend du dictionnaire que vous souhaitez modifier, mais votre chemin doit ressembler à ceci:

/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

Ensuite , ouvrez ce fichier dans un éditeur texte / code que vous souhaitez, il pourrait être même vim, comme dans la question initiale, et l' ouvrir pour la modification, la recherche de font-sizeparamètre pour bodyélément, il pourrait être défini pt, px, em. Si vous souhaitez approfondir les détails CSS, vous pouvez lire des tutoriels ou un manuel sur le font-size. Il semble que ce soit un fichier CSS standard , pour la définition des styles, il est donc facile de travailler avec.

Vous pouvez changer la taille de la police, pour la rendre plus grande / plus petite, cela pourrait être réalisé en modifiant les paramètres dans CSS:

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

Ou comme ça:

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

Vous pouvez trouver des captures d'écran et des explications supplémentaires sur apple.disscussions .

On peut aussi jouer avec line-height, s'il font-sizen'a pas apporté suffisamment de lisibilité. Si vous voulez changer la fenêtre elle - même ou l' espacement autour du texte, vous pouvez modifier margin( margin-top, margin-bottom, etc.) ou padding( padding-left, padding-right, etc.).

J'ai essayé d'expliquer cela aux gars, qui ne sont pas eux-mêmes des développeurs Web, j'espère que cela vous aidera. Demandez-moi si vous m'avez posé des questions supplémentaires ou recherchez-les sur StackOverflow (c'est pour les questions des développeurs), mais je pense que ce sera simple pour vous maintenant.

— Autre côté
source