Ajuste
Marcadores de formato
Cursores visibles
Parpadeo del cursor
Tiempo de visualización
del mensaje
Hora de dormir
Ajuste de línea
Condensar líneas en
blanco
Confirmar la eliminación
Vibración
Bip
Configuración de teclas
de pulgar
Opción/Resultado
Encendido o apagado;
cuando está desactivado, los
marcadores de formato están
ocultos
Encendido o apagado
Encendido o apagado; cuando
está encendido, el cursor
parpadeará a una velocidad de
0.5 segundos.
1–30 segundos: tiempo de
visualización del mensaje
Número en minutos; 0 para
apagar
Encendido o apagado
Encendido o apagado; cuando
está activado, las líneas en
blanco no son visibles
Encendido o apagado; cuando
está activado, Mantis solicita
confirmación de la eliminación
del archivo
Encendido o apagado; cuando
está encendido, Mantis vibra
Encendido o apagado; cuando
está encendido, Mantis emite un
pitido
Asigne los comandos de
elemento anterior, elemento
siguiente, desplazamiento a la
izquierda y desplazamiento a la
derecha a la tecla de pulgar de
su elección.
61
