Class 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  
    • 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 Detail

      • 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