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 パラメーター
Copyright IBM Corporation 1992, 2004. All Rights Reserved.
Copyright IBM Japan 2006