query command
set command
headerMark parameter
mark parameter
markExcluded parameter
markId parameter
markIncluded parameter
The markExcludedHeader parameter can be used to query or set if the specified mark should have a header element when it is excluded. A header element is a show element that replaces the elements that are associated with the mark when the mark is excluded. The header element contains text which indicates the number of lines that have been excluded.
query command
set command
The specified mark in the current view.
query markExcludedHeader.[name | #id]
set markExcludedHeader.[name | #id] { on | off }
| name | Use the name parameter to specify the name of an existing mark. Mark names may contain any characters but spaces and may not start with the # character. |
| id | Use the id parameter to specify the id of an existing mark. |
| on | Use the on parameter to indicate that the specified mark should be replaced by a mark header element when the mark is excluded from the current view. |
| off | Use the off parameter to indicate that the specified mark should not be replaced by a mark header element when the mark is excluded from the current view. |
If you do not specify a mark name or a mark id, the last mark created will be used.
query markExcludedHeader.test set markExcludedHeader.test on set markExcludedHeader.#3 off
query command
set command
headerMark parameter
mark parameter
markExcluded parameter
markId parameter
markIncluded parameter
