Module jEdit
Package org.gjt.sp.jedit

Class Marker

java.lang.Object
org.gjt.sp.jedit.Marker
public class Marker extends Object
Buffers may contain one or more markers which serve as textual bookmarks.

A Marker has three key attributes: the Buffer to which it relates, the offset to which the marker refers, and an optional shortcut character. The shortcut identifies the key that can be pressed with the Markers>Go To Marker command.

Version:
$Id: Marker.java 21831 2012-06-18 22:54:17Z ezust $
Author:
Slava Pestov, John Gellene (API documentation)

  • Method Details

    • getShortcut

      public char getShortcut()
      Returns the marker's shortcut character.
      Since:
      jEdit 3.2pre1

    • getPosition

      public int getPosition()
      Returns the position of this marker.
      Since:
      jEdit 3.2pre1