markHighlight パラメーターを使用して、指定したマークを強調表示するかどうかを設定または照会します。 マークが強調表示される場合、markStyle パラメーターによって指示されるスタイル属性を使って表示されます。
query コマンド
set コマンド
現行ビューの指定されたマーク。
query markHighlight.[name | #id] set markHighlight.[name | #id] { on | off }
name | name パラメーターを使用して、既存のマークの名前を指定します。マーク名はスペース以外の文字を含むことができますが、# 文字で始まることはできません。 |
id | id パラメーターを使用して、既存のマークの ID を指定します。 |
on | on パラメーターを使用して、指定したマークを強調表示するように指示します。 |
off | off パラメーターを使用して、指定したマークを強調表示しないように指示します。 |
マーク名またはマーク ID を指定しない場合には、作成された最後のマークが使用されます。
query markHighlight.test set markHighlight.test on set markHighlight.#3 off
query コマンド
set コマンド
mark パラメーター
markId パラメーター
markStyle パラメーター
Copyright IBM Corporation 1992, 2004. All Rights Reserved.
Copyright IBM Japan 2006