Class DocumentHighlight


  • public class DocumentHighlight
    extends java.lang.Object
    A document highlight is a range inside a text document which deserves special attention. Usually a document highlight is visualized by changing the background color of its range.
    • Constructor Detail

      • DocumentHighlight

        public DocumentHighlight()
      • DocumentHighlight

        public DocumentHighlight​(Range range)
    • Method Detail

      • getRange

        public Range getRange()
        The range this highlight applies to.
      • setRange

        public void setRange​(Range range)
        The range this highlight applies to.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object