This module provides access to text marks inside an editor widget.
Documentation
The Gravity
datatype.
The Mark
datatype.
:: HasIndex Editor i BaseIndex | |
=> Editor | the concerned editor widget. |
-> String | the name of the text mark to create. |
-> i | the text marks index position inside the editor widget. |
-> IO Mark | A text mark. |
Creates a text mark inside an editor widget and returns a handler.
Sets the gravity of the given text mark.
Sets the index position of the text mark.
Unsets a text mark inside an editor widget.
Gets the current marks from an editor widget.