Text edition
(* | A zed action. | *) | |
#
| Start_macro
| (* | Start a new macro. | *) |
#
| Stop_macro
| (* | Ends the current macro. | *) |
#
| Cancel_macro
| (* | Cancel the current macro. | *) |
#
| Play_macro
| (* | Play the last recorded macro. | *) |
#
| Insert_macro_counter
| (* | Insert the current value of the macro counter. | *) |
#
| Set_macro_counter
| (* | Sets the value of the macro counter. | *) |
#
| Add_macro_counter
| (* | Adds a value to the macro counter. | *) |
doc_of_action action
returns a short description of the
action.
action_of_name str
converts the given action name into an
action. Action name are the same as variants name but lowercased
and with '_' replaced by '-'. It raises Not_found
if the name
does not correspond to an action. It also recognizes zed
actions.
Shorthand for Zed_rope.to_string (Zed_edit.text
edit#engine)
.
The editable function of the engine.
The locale used by the engine.
Class of edition widgets. If no clipboard is provided, then the global one is used.