Module Zed_macroSource

Macro recorder

Sourcetype 'a t

Type of macro recorders.

Sourceval create : 'a list -> 'a t

create macro create a new macro recorder, with initial contents macro.

Sourceval recording : 'a t -> bool React.signal

Whether the recorder is recording a macro.

Sourceval get_recording : 'a t -> bool

Returns the current state of the recorder.

Sourceval set_recording : 'a t -> bool -> unit

Starts or stops the macro recorder.

Sourceval cancel : 'a t -> unit

Cancels the current macro if recording one.

Sourceval count : 'a t -> int React.signal

The number of actions in the macro recorder. It is 0 if the recorder is not currently recording.

Sourceval get_count : 'a t -> int

Returns the current number of actions in the macro recorder.

Sourceval add : 'a t -> 'a -> unit

add recorder x adds x to the recorder if it is recording a macro.

Sourceval contents : 'a t -> 'a list

Returns the currently recorded macro.

Sourceval counter : 'a t -> int React.signal

The contents of the macro counter.

Sourceval get_counter : 'a t -> int

Gets the contents of the macro counter.

Sourceval set_counter : 'a t -> int -> unit

Sets the macro counter to the given value.

Sourceval add_counter : 'a t -> int -> unit

Adds the given value to the macro counter.