|
|
|
|
|
Description |
|
|
Synopsis |
|
|
|
Documentation |
|
type MarkName = String |
|
textMarkSetVisible :: TextMarkClass tm => tm -> Bool -> IO () |
Set the visibility of a TextMark.
|
|
textMarkGetVisible :: TextMarkClass tm => tm -> IO Bool |
Get the visibility of a TextMark.
|
|
textMarkGetDeleted :: TextMarkClass tm => tm -> IO Bool |
Query if a TextMark is still valid.
|
|
textMarkGetName :: TextMarkClass tm => tm -> IO (Maybe String) |
Get the name of a TextMark.
- Returns Nothing, if the mark is anonymous.
|
|
textMarkGetBuffer :: TextMarkClass tm => tm -> IO (Maybe TextBuffer) |
Extract the TextBuffer of the mark.
- Returns Nothing if the mark was deleted.
|
|
textMarkGetLeftGravity :: TextMarkClass tm => tm -> IO Bool |
Determine whether the mark has gravity
towards the beginning of a line.
- The name is misleading as Arabic, Hebrew and some other languages have
the beginning of a line towards the right.
|
|
Produced by Haddock version 0.6 |