org.gnu.gtk
Class TextMark
You may wish to begin by reading the
TextView
overview which gives an
overview of all the objects and data types related to the text widget and how
they work together.
A TextMark is like a bookmark in a text buffer; it preserves a position in
the text. You can convert the mark to an iterator using
TextBuffer.getIter(TextMark)
. Unlike iterators, marks remain valid across
buffer mutations, because their behavior is defined when text is inserted or
deleted. When text containing a mark is deleted, the mark remains in the
position originally occupied by the deleted text. When text is inserted at a
mark, a mark with left gravity will be moved to the beginning of the
newly-inserted text, and a mark with right gravity will be moved to the end.
Marks optionally have names; these can be convenient to avoid passing the
TextMark object around.
TextBuffer | getBuffer() - Gets the buffer this mark is located inside, or NULL if the mark is
deleted.
|
boolean | getDeleted() - Returns TRUE if the mark has been removed from its buffer with
TextBuffer.deleteMark(TextMark) .
|
boolean | getLeftGravity() - Determines whether the mark has left gravity.
|
String | getName() - Returns the mark name; returns NULL for anonymous marks.
|
static Type | getType() - Retrieve the runtime type used by the GLib library.
|
boolean | getVisibility() - Returns TRUE if the mark is visible (ie a cursor is displayed for it)
|
void | setVisibility(boolean setting) - Sets the visibility of mark; the insertion point is normally visible, ie
you can see it as a vertical bar.
|
addEventHandler , addEventHandler , addEventHandler , addEventHandler , addEventHandler , addEventHandler , addEventHandler , addListener , collect , freezeNotify , getBooleanProperty , getData , getDoubleProperty , getEventListenerClass , getEventType , getFloatProperty , getGObjectFromHandle , getIntProperty , getJavaObjectProperty , getLongProperty , getPixbufProperty , getProperty , getStringProperty , hasProperty , notify , removeEventHandler , removeListener , setBooleanProperty , setData , setDoubleProperty , setFloatProperty , setIntProperty , setJavaObjectProperty , setLongProperty , setPixbufProperty , setProperty , setStringProperty , thawNotify |
getBuffer
public TextBuffer getBuffer()
Gets the buffer this mark is located inside, or NULL if the mark is
deleted.
getDeleted
public boolean getDeleted()
getLeftGravity
public boolean getLeftGravity()
Determines whether the mark has left gravity.
- TRUE if the mark has left gravity, FALSE otherwise
getName
public String getName()
Returns the mark name; returns NULL for anonymous marks.
getType
public static Type getType()
Retrieve the runtime type used by the GLib library.
getVisibility
public boolean getVisibility()
Returns TRUE if the mark is visible (ie a cursor is displayed for it)
setVisibility
public void setVisibility(boolean setting)
Sets the visibility of mark; the insertion point is normally visible, ie
you can see it as a vertical bar. Also, the text widget uses a visible
mark to indicate where a drop will occur when dragging-and-dropping text.
Most other marks are not visible. Marks are not visible by default.
setting
- Visibility of mark