開始: [この拡張ポイントが現れる最初のリリースを入力してください。]
説明: この拡張ポイントを使用して、「デフォルト・テキスト・エディター」に マーカーの表示プロパティーを定義します。 この拡張ポイントについて提供される拡張は、org.eclipse.ui.texteditor.MarkerAnnotationPreferences を使用してアクセスできます。
構成マークアップ:
<!ELEMENT extension (specification)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED
>
<!ELEMENT specification EMPTY>
<!ATTLIST specification
markerType CDATA #REQUIRED
colorPreferenceKey CDATA #REQUIRED
overviewRulerPreferenceKey CDATA #REQUIRED
textPreferenceKey CDATA #REQUIRED
label CDATA #REQUIRED
markerSeverity (0|1|2)
colorPreferenceValue CDATA #IMPLIED
presentationLayer CDATA #IMPLIED
overviewRulerPreferenceValue (true | false)
textPreferenceValue (true | false)
annotationType CDATA #REQUIRED
contributesToHeader (true | false)
>
API 情報: [API 情報をここに入力してください。]
提供されるインプリメンテーション: [システムに提供されたこの拡張ポイントのインプリメンテーション情報を入力してください。]