TextMark —
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 () |
Extract the TextBuffer of the mark.
| textMarkGetBuffer | :: tm | :: IO (Maybe TextBuffer) |
| tm |
Returns Nothing if the mark was deleted.
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.
Get the name of a TextMark.
| textMarkGetName | :: tm | :: IO (Maybe String) |
| tm |
Returns Nothing, if the mark is anonymous.