Package org.omegat.gui.editor.mark

Class Mark

java.lang.Object

org.omegat.gui.editor.mark.Mark

public class Mark
extends Object

Class for store information about one mark.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	Mark.ENTRY_PART

Field Summary

Fields

Modifier and Type	Field	Description
@Nullable AttributeSet	attributes	Text attributes for specific Mark.
final int	endOffset
final Mark.ENTRY_PART	entryPart
@Nullable Highlighter.HighlightPainter	painter	Painter for specific Mark.
final int	startOffset
@Nullable String	toolTipText	Tooltip text for specific Mark.

Constructor Summary

Constructors

Constructor	Description
Mark(Mark.ENTRY_PART entryPart, int start, int end)

Method Summary

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

entryPart

public final Mark.ENTRY_PART entryPart

startOffset

public final int startOffset

endOffset

public final int endOffset

painter

@Nullable
public @Nullable Highlighter.HighlightPainter painter

Painter for specific Mark. For better performance, Painter should be instantiated once, then used always. It could be created in IMarker constructor.

toolTipText

@Nullable
public @Nullable String toolTipText

Tooltip text for specific Mark. Will be displayed when mouse will moving over Mark.

attributes

@Nullable
public @Nullable AttributeSet attributes

Text attributes for specific Mark. Will be added to text by Document.setCharacterAttributes() without replacement.

Constructor Details

Mark

public Mark(Mark.ENTRY_PART entryPart,
 int start,
 int end)