|
|
|
|
|
| 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 |