Name

TextMark —

Synopsis

type
        MarkName
textMarkGetBuffer:: TextMarkClass tm => tm -> IO (Maybe TextBuffer)
textMarkGetDeleted:: TextMarkClass tm => tm -> IO Bool
textMarkGetLeftGravity:: TextMarkClass tm => tm -> IO Bool
textMarkGetName:: TextMarkClass tm => tm -> IO (Maybe String)
textMarkGetVisible:: TextMarkClass tm => tm -> IO Bool
textMarkSetVisible:: TextMarkClass tm => tm -> Bool -> IO ()

Datatypes

type MarkName

MarkNameString

Methods

textMarkGetBuffer

Extract the TextBuffer of the mark.

textMarkGetBuffer:: tm:: IO (Maybe TextBuffer)
tm

Returns Nothing if the mark was deleted.

textMarkGetDeleted

Query if a TextMark is still valid.

textMarkGetDeleted:: tm:: IO Bool
tm

textMarkGetLeftGravity

Determine whether the mark has gravity towards the beginning of a line.

textMarkGetLeftGravity:: tm:: IO Bool
tm

The name is misleading as Arabic, Hebrew and some other languages have the beginning of a line towards the right.

textMarkGetName

Get the name of a TextMark.

textMarkGetName:: tm:: IO (Maybe String)
tm

Returns Nothing, if the mark is anonymous.

textMarkGetVisible

Get the visibility of a TextMark.

textMarkGetVisible:: tm:: IO Bool
tm

textMarkSetVisible

Set the visibility of a TextMark.

textMarkSetVisible:: tm:: Bool:: IO ()
tmvis