Cuando trabaja con mucho texto en la Terminal puede querer cambiar la tipografía predeterminada a una que prefiera. Tiene las siguientes opciones:
Para usar las tipografías predeterminadas del sistema:
Pulse el botón de menú en la esquina superior derecha de la ventana y elija Preferencias.
En la barra lateral seleccione su perfil en la sección Perfil.
Seleccione Texto.
Deseleccione Tipografía personalizada.
Para establecer una tipografía personalizada y un tamaño:
Pulse el botón de menú en la esquina superior derecha de la ventana y elija Preferencias.
En la barra lateral seleccione su perfil en la sección Perfil.
Seleccione Texto.
Seleccione Tipografía personalizada.
Pulse el botón que está junto a Tipografía personalizada.
Escriba el nombre de la tipografía que quiere en el campo de búsqueda o examine la lista de tipografías.
Arrastre el deslizador que está debajo de la lista de tipografías para ajustar el tamaño. Alternativamente, puede escribir el tamaño de la tipografía en en campo que está junto al deslizador, o pulsar en los botones + o - para aumentar o disminuir el tamaño, respectivamente.
Pulse Seleccionar para aplicar sus cambios. Para descartar los cambios y volver al diálogo anterior, pulse Cancelar.
Terminal le permite separar sus caracteres para una mejor legibilidad. El espaciado entre líneas y el espaciado de caracteres se puede ajustar desde 1.0 (el aspecto normal) a 2.0 («espaciado doble»), incluidos los valores fraccionarios intermedios.
Pulse el botón de menú en la esquina superior derecha de la ventana y elija Preferencias.
En la barra lateral seleccione su perfil en la sección Perfil.
Seleccione Texto.
Vaya a la opción Espaciado entre celdas.
Para establecer el espaciado de caracteres horizontal, ajuste el número de multiplicador delante de ancho.
Para establecer el espaciado entre líneas, ajuste el número del multiplicador frente a altura.
¿Quiere hacer un comentario? ¿Ha encontrado un error? ¿Las instrucciones no son claras? Envíe sus comentarios sobre esta página.