17 votes

Recherche de dictionnaire plus large et plus grand (style de recherche de dictionnaire contextuel) dans OS X

Il est possible de changer la police et la taille de la police pour le popup de recherche à trois doigts. Il suffit d'éditer le fichier css des dictionnaires que vous utilisez, par exemple:

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

trouver html.apple_client-panel body { et éditer les propriétés

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

2voto

Farside Points 1535

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

/System/Library/Assets/com_apple_MobileAsset_DictionaryServices_dictionaryOSX/042bf65b3ae80e4564c339fcf00fa9924bd16dd3.asset/AssetData/Apple Dictionary.dictionary/Contents/Resources/English.lproj/AppleDictionary.css

Ensuite, ouvrez ce fichier dans n'importe quel éditeur de texte/code que vous préférez, cela pourrait même être vim, comme dans la question d'origine, et ouvrez-le pour le modifier, cherchez le paramètre font-size pour l'élément body, il pourrait être défini en pt, px, em. Si vous voulez approfondir les détails du CSS, vous pouvez lire des tutoriels ou des manuels sur le font-size. Il semble s'agir d'un fichier CSS standard, pour la définition des styles, donc il est facile de travailler avec.

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

body {
  ...
  font-size: 15pt; /* <== recherchez ce paramètre, et adaptez-le à votre goût */
  ...
}

Ou comme ceci :

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 également jouer avec la line-height, si la font-size n'a pas apporté une lisibilité suffisante. Si vous souhaitez modifier la fenêtre elle-même ou l'espacement autour du texte, alors vous voudrez peut-être modifier la margin (margin-top, margin-bottom, etc) ou le padding (padding-left, padding-right, etc).

J'ai essayé d'expliquer cela aux personnes qui ne sont pas elles-mêmes des développeurs web, j'espère que cela vous aide. Posez-moi d'autres questions si vous en avez, ou cherchez-les sur StackOverflow (c'est pour les questions des développeurs), mais je pense que cela sera désormais simple pour vous.

LesApples.com

LesApples est une communauté de Apple où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres utilisateurs d'appareils Apple, poser vos propres questions ou résoudre celles des autres.

Powered by:

X