HTk.Textitems.Mark

This module provides access to text marks inside an editor widget.

Documentation

data Gravity

The Gravity datatype.

Constructors

ToLeft

ToRight

Instances

Enum Gravity

Eq Gravity

Ord Gravity

Read Gravity

Internal.

Show Gravity

Internal.

GUIValue Gravity

Internal.

data Mark

The Mark datatype.

Constructors

Mark Editor String

Instances

Eq Mark

HasIndex Editor Mark BaseIndex

Internal.

createMark

Arguments

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

setMarkGravity

Arguments

:: Mark

the concerned text mark.

-> Gravity

the gravity to set.

-> IO ()

None.

Sets the gravity of the given text mark.

setMark

Arguments

:: HasIndex Editor i BaseIndex

=> Mark

the concerned tex mark.

-> i

-> IO ()

None.

Sets the index position of the text mark.

unsetMark

Arguments

:: Mark

the concerned text mark.

-> IO ()

None.

Unsets a text mark inside an editor widget.

getCurrentMarks

Arguments

:: Editor

the concerned editor widget.

-> IO [Mark]

A list of text marks.

Gets the current marks from an editor widget.