Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  def clone(): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... ) @native()

6.  def drawChar(gfx: Graphics2D, color: Color, y: Int, char: Char): Unit
   y

   vertical position (same as passed by jEdit)

   Attributes

   protected

   Definition Classes

   MMTTextAreaExtension

7.  def drawMarker(gfx: Graphics2D, color: Color, y: Int, oval: Boolean): Unit
   y

   vertical position (same as passed by jEdit)

   Attributes

   protected

   Definition Classes

   MMTTextAreaExtension

8.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

9.  def equals(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

10.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

11.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

12.  def getToolTipText(x: Int, y: Int): String

    provides tooltip if hovering over annotation markers

    provides tooltip if hovering over annotation markers

    x

    The x co-ordinate as used by jEdit

    y

    The y co-ordinate as used by jEdit

    Definition Classes

    MMTGutterAnnotations → TextAreaExtension

13.  val gutterWidth: Int

    Attributes

    protected

    Definition Classes

    MMTTextAreaExtension

14.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

15.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

16.  val lineHeight: Int

    Attributes

    protected

    Definition Classes

    MMTTextAreaExtension

17.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

18.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

19.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

20.  def paintInvalidLine(arg0: Graphics2D, arg1: Int, arg2: Int): Unit

    Definition Classes

    TextAreaExtension

21.  def paintScreenLineRange(arg0: Graphics2D, arg1: Int, arg2: Int, arg3: Array[Int], arg4: Array[Int], arg5: Array[Int], arg6: Int, arg7: Int): Unit

    Definition Classes

    TextAreaExtension

22.  def paintValidLine(gfx: Graphics2D, screenLine: Int, physicalLine: Int, startOffset: Int, endOffset: Int, y: Int): Unit

    paints markers for lines that have associated annotations

    paints markers for lines that have associated annotations

    gfx

    The graphics context

    screenLine

    The screen line number

    physicalLine

    The physical line number

    startOffset

    The offset where the screen line begins, from the start of the buffer

    endOffset

    The offset where the screen line ends, from the start of the buffer

    y

    The y co-ordinate of the top of the line's bounding box

    Definition Classes

    MMTGutterAnnotations → TextAreaExtension

23.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

24.  val textArea: JEditTextArea

    Attributes

    protected

    Definition Classes

    MMTTextAreaExtension

25.  def toString(): String

    Definition Classes

    AnyRef → Any

26.  val view: View

    Attributes

    protected

    Definition Classes

    MMTTextAreaExtension

27.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

28.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

29.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

30.  object mouseAdapter extends MouseAdapter