Insertar un Marcador
Para agregar un marcador en un archivo:
1. Presione Alt + M para abrir el menú Marcador.
2. Seleccione Insertar marcador con las teclas de pulgar
Anterior y Siguiente.
3. Presione Enter o una tecla de enrutamiento del cursor.
4. Introduzca un número de marcador no utilizado
específico.
Nota: Si no ingresa un número, el Mantis selecciona el
primer número disponible y lo asigna al marcador.
5. Presione Enter.
Como alternativa, puede insertar un marcador presionando
Ctrl + B. Tenga en cuenta que se pueden insertar un máximo
de 98 marcadores en un documento.
Navegar hacia los Marcadores
Para saltar a un marcador, presione Ctrl + J. Se le pedirá
que ingrese el número del marcador. Ingrese el número de
marcador al que desea navegar, luego presione Enter.
Eliminación de Marcadores
Para eliminar un marcador guardado:
1. Presione Alt + M para abrir el menú Marcador.
2. Desplácese hasta Quitar Marcador con las teclas de
pulgar Anterior y Siguiente.
3. Presione Enter o una tecla de enrutamiento del cursor.
4. Ingrese el número de marcador que desea eliminar.
5. Presione Enter.
Nota: Si desea eliminar todos los marcadores del documento,
escriba 99 cuando se le solicite un número de marcador.
23