Parâmetro markHighlight

Utilize o parâmetro markHighlight para definir ou consultar se a marca especificada deve ser destacada. Se uma marca for realçada, ela será representada com os atributos de estilo indicados pelo parâmetro markStyle.

Disponibilidade

comando query
comando set

Escopo

A marca especificada na visualização atual.

Sintaxe

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

Parâmetros

name Utilize o parâmetro name para especificar o nome de uma marca existente. Os nomes das marcas podem conter quaisquer caracteres, exceto espaços e não podem começar com o caractere #.
id Utilize o parâmetro id para especificar o id de uma marca existente.
on Utilize o parâmetro on para indicar que a marca especificada deve ser destacada.
off Utilize o parâmetro off para indicar que a marca especificada não deve ser destacada.

Descrição

Se você não especificar um nome ou id de marca, a última marca criada será utilizada.

Exemplos

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

Referência relacionada
comando query
comando set
Parâmetro mark
Parâmetro markId
Parâmetro markStyle