Blah, blah ...
The messages to which the editor responds
A command to lose focus on the element with the given id.
Return the "zero"" internal state
A command to place the focus on the element with the given id.
Return a pair (InternalState, Buffer) representing the editor scrolled to a given line k.
k
Return data representing the editor scrolled toa given string (first search occurrence).
Return data representing an editor updated via a message and a new buffer
The messages to which the editor responds