org.omegat.gui.editor.mark

Class Mark

java.lang.Object

org.omegat.gui.editor.mark.Mark

public class Mark
extends java.lang.Object

Class for store information about one mark.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Mark.ENTRY_PART

Field Summary

Fields

Modifier and Type	Field and Description
javax.swing.text.AttributeSet	attributes Text attributes for specific Mark.
int	endOffset
Mark.ENTRY_PART	entryPart
javax.swing.text.Highlighter.HighlightPainter	painter Painter for specific Mark.
int	startOffset
java.lang.String	toolTipText Tooltip text for specific Mark.

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

entryPart

public final Mark.ENTRY_PART entryPart

startOffset

public final int startOffset

endOffset

public final int endOffset

painter

public javax.swing.text.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

public java.lang.String toolTipText

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

attributes

public javax.swing.text.AttributeSet attributes

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

Constructor Detail

Mark

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