Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package zed
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Zed_cursor
Cursors
A cursor is a pointer in an edition buffer. When some text is inserted or removed, all cursors after the modification are automatically moved accordingly.
Exception raised when trying to move a cursor outside the bounds of the text it points to.
val create :
int ->
(int * int * int) React.event ->
(unit -> Zed_lines.t) ->
int ->
int ->
tcreate length changes get_lines position wanted_column creates a new cursor pointing to position position.
length is the current length of the text the cursor points to. It raises Out_of_bounds if position is greater than length.
changes is an event which occurs with values of the form (start, added, removed) when the text changes, with the same semantic as Zed_edit.changes.
get_lines is used to retreive the current set of line positions of the text. It is used to compute the line and column of the cursor.
wanted_column is the column on which the cursor want to be, if there is enough room on the line.
copy cursor creates a copy of the given cursor. The new cursor initially points to the same location as cursor.
val position : t -> int React.signalposition cursor returns the signal holding the current position of the given cursor.
val get_position : t -> intget_position cursor returns the current position of cursor.
val line : t -> int React.signalline cursor returns the signal holding the current line on which the cursor is.
val get_line : t -> intget_line cursor returns the current line of the cursor.
val column : t -> int React.signalcolumn cursor returns the signal holding the current column of the cursor.
val get_column : t -> intget_column cursor returns the current column of the cursor.
val coordinates : t -> (int * int) React.signalcoordinates cursor returns the signal holding the current line & column of the cursor.
val get_coordinates : t -> int * intget_coordinates cursor returns the current line & column of the cursor.
val wanted_column : t -> int React.signalwanted_column cursor returns the signal holding the column on which the cursor wants to be.
val get_wanted_column : t -> intget_wanted_column cursor returns the column on which the cursor wants to be.
val set_wanted_column : t -> int -> unitset_wanted_column cursor sets the column on which the cursor want to be.
val goto : t -> ?set_wanted_column:bool -> int -> unitgoto cursor position moves the given cursor to the given position. It raises Out_of_bounds if position is outside the bounds of the text. If set_wanted_column is true (the default), then the wanted column will be set to the column of the cursor at given position.
val move : t -> ?set_wanted_column:bool -> int -> unitmove cursor delta moves the given cursor by the given number of characters. It raises Out_of_bounds if the result is outside the bounds of the text.