Class Index | File Index

Classes


Class orion.editor.Annotation

This object represents a decoration attached to a range of text. Annotations are added to a AnnotationModel which is attached to a TextModel.

See:
orion.editor.AnnotationModel
orion.editor.Ruler


Defined in: </jobs/genie.orion/orion-client-stable/workspace/bundles/org.eclipse.orion.client.editor/web/orion/editor/annotations.js>.

Class Summary
Constructor Attributes Constructor Name and Description
 
Field Summary
Field Attributes Field Name and Description
 
end
The end offset of the annotation in the text model.
 
The HTML displayed for the annotation.
 
The style information for the annotation used in the text view to decorate a line of text.
 
The style information for the annotation used in the overview ruler.
 
The style information for the annotation used in the text view to decorate a range of text.
 
The start offset of the annotation in the text model.
 
The style information for the annotation used in the annotations ruler and tooltips.
 
The text description for the annotation.
 
The annotation type (for example, orion.annotation.error).
Class Detail
orion.editor.Annotation()
Field Detail
{Number} end
The end offset of the annotation in the text model.

{String} html
The HTML displayed for the annotation.

{orion.editor.Style} lineStyle
The style information for the annotation used in the text view to decorate a line of text.

{orion.editor.Style} overviewStyle
The style information for the annotation used in the overview ruler.

{orion.editor.Style} rangeStyle
The style information for the annotation used in the text view to decorate a range of text.

{Number} start
The start offset of the annotation in the text model.

{orion.editor.Style} style
The style information for the annotation used in the annotations ruler and tooltips.

{String} title
The text description for the annotation.

{String} type
The annotation type (for example, orion.annotation.error).

Documentation generated by JsDoc Toolkit 2.4.0 on Tue Apr 04 2017 10:51:56 GMT-0400 (EDT)