Package 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 Description static class
Mark.ENTRY_PART
-
Field Summary
Fields Modifier and Type Field 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 Description Mark(Mark.ENTRY_PART entryPart, int start, int end)
-
-
-
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)
-
-