Paramètre markHighlight

Le paramètre markHighlight permet de définir ou vérifier si la marque spécifiée doit être mise en évidence.Si une marque est mise en évidence, elle est définie avec les attributs de style indiqués par le paramètre markStyle.

Disponibilité

Commande query
Commande set

Portée

La marque indiquée dans la vue courante.

Syntaxe

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

Paramètres

nom Le paramètre nom permet de préciser le nom d'une marque existante. Les noms de marque peuvent contenir tous les caractères (sauf des espaces) et ne peuvent pas commencer par le caractère #.
id Le paramètre id permet d'indiquer l'ID d'une marque existante.
on Le paramètre on indique que la marque spécifiée doit être mise en évidence.
off Le paramètre off indique que la marque spécifiée ne doit pas être mise en évidence.

Description

Si vous ne spécifiez aucun nom ou ID de marque, la dernière marque créée est utilisée.

Exemples

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

Références connexes
Commande query
Commande set
Paramètre mark
Paramètre markId
Paramètre markStyle