Parameter markExcludedHeader

Mit dem Parameter markExcludedHeader können Sie abfragen oder definieren, ob die angegebene Markierung über ein Headerelement verfügen soll, wenn sie ausgeschlossen wird.  Ein Headerelement ist ein Anzeigeelement, das die Elemente, die der Markierung zugeordnet sind, ersetzt, wenn die Markierung ausgeschlossen wird.  Das Headerelement enthält Text, der die Anzahl der Zeilen angibt, die ausgeschlossen wurden.

Verfügbarkeit

Befehl query
Befehl set

Geltungsbereich

Die angegebene Markierung in der aktuellen Sicht.

Syntax

query markExcludedHeader.[Name | #ID]
set markExcludedHeader.[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 durch ein Markierungsheaderelement ersetzt werden soll, wenn die Markierung aus der aktuellen Sicht ausgeschlossen wird.
off Verwenden Sie den Parameter off, um anzugeben, dass die angegebene Markierung nicht durch ein Markierungsheaderelement ersetzt werden soll, wenn die Markierung aus der aktuellen Sicht ausgeschlossen wird.

Beschreibung

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

Beispiele

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

Zugehöriger Verweis
Befehl query
Befehl set
Parameter headerMark
Parameter mark
Parameter markExcluded
Parameter markId
Parameter markIncluded