Búsqueda de diccionario más amplia y más alta (estilo de búsqueda de diccionario emergente) en OS X

14

Es posible cambiar la fuente y el tamaño de fuente para la ventana emergente de búsqueda de 3 dedos. Solo necesita editar el archivo CSS para los diccionarios que usa, por ejemplo:

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

buscar html.apple_client-panel body {y editar propiedades

Ahora realmente quiero ir más allá y agrandar toda el área emergente, un poco más ancha y un poco más alta. ¿Cómo puedo hacer eso?

iLemming
fuente

Respuestas:

1

En primer lugar, encuentre la ruta del diccionario que desea modificar . Esto depende del diccionario que desee modificar, pero su ruta debería verse así:

/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

A continuación, abra este archivo en cualquier editor de texto / código desea, podría ser incluso vim, al igual que en la pregunta original, y abrirlo para la modificación, la búsqueda de font-sizeparámetro para bodyel elemento, que podría definirse en pt, px, em. Si desea profundizar en los detalles de CSS, puede leer tutoriales o manuales en el font-size. Parece ser un archivo CSS normal , para la definición de estilos, por lo que es fácil trabajar con él.

Puede cambiar el tamaño de fuente, para que sea más grande / más pequeño, podría lograrse mediante la modificación de parámetros en CSS:

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

O así:

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

Puede encontrar algunas capturas de pantalla y explicaciones adicionales en apple.disscussions .

También se puede jugar con él line-height, si font-sizeno ha traído suficiente legibilidad. Si desea cambiar la propia ventana o espaciado alrededor del texto, entonces es posible que desee modificar margin( margin-top, margin-bottom, etc) o padding( padding-left, padding-right, etc.).

Intenté explicar esto a los muchachos, que no son desarrolladores web en sí, espero que esto ayude. Pregunte si recibió más preguntas para mí o búsquelas en StackOverflow (es para preguntas de los desarrolladores), pero creo que ahora será sencillo para usted.

Lado lejano
fuente