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.
Mandato query
Mandato set
La marca especificada en la vista actual.
query markHighlight.[nombre | #id] set markHighlight.[nombre | #id] { on | off }
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. |
Si no especifica ningún nombre de marca ni ID de marca, se utilizará la última marca creada.
query markHighlight.test set markHighlight.test on set markHighlight.#3 off
Mandato query
Mandato set
Parámetro mark
Parámetro markId
Parámetro markStyle
Copyright IBM Corporation 1992, 2004. Reservados todos los derechos.