Parámetro markHighlight

Utilice el parámetro markHighlight para establecer o consultar si la marca especificada debe resaltarse.  Si se resalta una marca, esta se dibujará con los atributos de estilo indicados por el parámetro markStyle.

Disponibilidad

Mandato query
Mandato set

Ámbito

La marca especificada en la vista actual.

Sintaxis:

query markHighlight.[nombre | #id]
set markHighlight.[nombre | #id] { on | off } 

Parámetros

name Utilice el parámetro name para especificar el nombre de una marca existente.  Los nombres de marca pueden contener cualquier carácter excepto espacios y no pueden empezar por el carácter #.
id Utilice el parámetro id para especificar el ID de una marca existente.
on Utilice el parámetro on para indicar que la marca especificada debe resaltarse.
off Utilice el parámetro off para indicar que la marca especificada no debe resaltarse.

Descripción

Si no especifica ningún nombre de marca ni ID de marca, se utilizará la última marca creada.

Ejemplos

query markHighlight.test
set markHighlight.test on
set markHighlight.#3 off 

Consulta relacionada
Mandato query
Mandato set
Parámetro mark
Parámetro markId
Parámetro markStyle