Parámetro markExcludedHeader

Utilice el parámetro markExcludedHeader para establecer o consultar si la marca especificada debe tener un elemento de cabecera cuando se excluye. Un elemento de cabecera es un elemento show que sustituye a los elementos asociados a la marca cuando esta se excluye.  El elemento de cabecera contiene texto que indica el número de líneas que se han excluido.

Disponibilidad

Mandato query
Mandato set

Ámbito

La marca especificada en la vista actual.

Sintaxis:

query markExcludedHeader.[nombre | #id]
set markExcludedHeader.[nombre | #id] { on | off } 

Parámetros

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 sustituirse por un elemento de cabecera de marca al excluirse la marca de la vista actual.
off Utilice el parámetro off para indicar que la marca especificada no debe sustituirse por un elemento de cabecera de marca al excluirse la marca de la vista actual.

Descripción

Si no especifica ningún nombre de marca ni ID de marca, se utilizará la última marca creada.

Ejemplos

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

Consulta relacionada
Mandato query
Mandato set
Parámetro headerMark
Parámetro mark
Parámetro markExcluded
Parámetro markId
Parámetro markIncluded