markHighlight パラメーター

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 パラメーター