Parameter markHighlight

Mit dem Parameter markHighlight können Sie abfragen oder definieren, ob die angegebene Markierung hervorgehoben werden soll.  Wird eine Markierung hervorgehoben, wird sie mit den Darstellungsattributen gezeichnet, die durch den Parameter markStyle angegeben werden.

Verfügbarkeit

Befehl query
Befehl set

Geltungsbereich

Die angegebene Markierung in der aktuellen Sicht.

Syntax

query markHighlight.[Name | #ID]
set markHighlight.[Name | #ID] { on | off } 

Parameter

Name Verwenden Sie den Parameter Name, um den Namen einer vorhandenen Markierung anzugeben.  Markierungsnamen dürfen beliebige Zeichen enthalten, außer Leerzeichen, und dürfen nicht mit dem Zeichen # beginnen.
ID Verwenden Sie den Parameter ID, um die ID einer vorhandenen Markierung anzugeben.
on Verwenden Sie den Parameter on, um anzugeben, dass die angegebene Markierung hervorgehoben werden soll.
off Verwenden Sie den Parameter off, um anzugeben, dass die angegebene Markierung nicht hervorgehoben werden soll.

Beschreibung

Wenn Sie keinen Markierungsnamen bzw. keine Markierungs-ID angeben, wird die zuletzt erstellte Markierung verwendet.

Beispiele

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

Zugehöriger Verweis
Befehl query
Befehl set
Parameter mark
Parameter markId
Parameter markStyle