[][src]Module edit_server::carets

Functions

remove_carets

Removes carets from a doc.

remove_carets_op

Removes carets from a doc. Filter contains the client IDs to remove.