markExcludedHeader パラメーター

markExcludedHeader パラメーターを使用して、指定されたマークが除外されるときに、 そのマークにヘッダー・エレメントがあるかどうかを、照会または設定します。 ヘッダー・エレメントは、そのマークが除外されたときに、そのマークと関連付けられているエレメントに 置き換えられる表示エレメントです。 ヘッダー・エレメントには、除外された行数を示すテキストが含まれます。

使用できるコマンド

query コマンド
set コマンド

有効範囲

現行ビューの指定されたマーク。

構文

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

パラメーター

name name パラメーターを使用して、既存のマークの名前を指定します。マーク名はスペース以外の文字を含むことができますが、# 文字で始まることはできません。
id id パラメーターを使用して、既存のマークの ID を指定します。
on on パラメーターを使用して、指定したマークが現行ビューから除外されたときに、そのマークをマーク・ヘッダー・エレメントで置き換えることを指示します。
off off パラメーターを使用して、指定したマークが現行ビューから除外されたときに、そのマークをマーク・ヘッダー・エレメントで置き換えないことを指示します。

説明

マーク名またはマーク ID を指定しない場合には、作成された最後のマークが使用されます。

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

関連参照
query コマンド
set コマンド
headerMark パラメーター
mark パラメーター
markExcluded パラメーター
markId パラメーター
markIncluded パラメーター