Manual de GDict | ||
---|---|---|
Anterior |
Para cambiar los elementos de la aplicación, seleccione Preferencias desde el menú Configuración. Abrirá el diálogo Preferencias, tal y como se ve en .
NOTA | |
---|---|
Al abrir el Diálogo preferencias , la aplicación GDict lleva a cabo una pequeña conversación con el servidor elegido, entonces personalizará el listado del diálogo en función de las posibilidades del servidor. El diálogo mostrado más arriba utiliza el servidor por omisión, www.dict.org. |
Las propiedades en la pestaña Servidor son:
Servidor El nombre del servidor utilizado por GDict. www.dict.org es el que toma por omisión. Puede utilizar cualquier otro que permita el protocolo de Internet "dict".
Puerto El número de puerto que GDict utiliza para conectar. El estándar es el 2628.
Base de Datos : En la conversación inicial con el servidor seleccionado, GDict baja una lista de bases de datos de diccionario disponibles para la búsqueda. Este menú desplegable le permite seleccionar uno o todas las bases de datos para utilizar en sus búsquedas.
Estrategia por omisión: En la conversación inicial con el servidor seleccionado, GDict baja una lista de las estrategias de búsqueda disponibles en en servidor. Este menú desplegable selecciona la estrategia por omisión que va a ser utilizada para comprobar la ortografía, o cuando Vd. escribe una cadena que no coincide exactamente con ninguna palabra de la base de datos de diccionario en la que busca.
Las propiedades en la pestaña Tipos de Letra (Fonts) son:
Encabezamiento (Headword), Pronunciación, Etimología, Ejemplo, Cuerpo Principal Sub-número, Parte de ortografía y Referencia-cruzada Cuando GDict devuelve una definición, utiliza varios tipos de letra y colores para distinguir las partes del la definición. Esta pestaña le permite personalizar estos colores y tipos de letra.
Al pulsar en el icono "ABC" próximo a cada elemento abrirá la estándar ventana de selección de tipo de letra de GNOME. Pulsando en la caja coloreada próxima a cada elemento abrirá la estándar ventana de selección de color de GNOME.
Después de que haya hecho los cambios que desee, pulse OK para aplicar los cambios y cerrar el diálogo Propiedades. Para cancelar los cambios y volver a los valores anteriores, pulse en el botón