Expand description
The editing verbs: type, backspace, delete, enter, paste, and (out)dent. Each turns the current selections into one atomic multi-range transaction, then places a caret after each edit — so every verb is multi-cursor-correct for free (one op per selection).
Two load-bearing semantics live here: typing over a selection replaces
it (one transaction, caret after), and Enter’s autoindent is the leading
whitespace truncated to the caret column (never duplicated) — plus the two
brace rules (one unit deeper after a line-opening {; {|} splits onto
three lines), always computed for inserted text only, never re-indenting
existing lines, so autoindent cannot fight the user. Clipboard text is
normalized to LF on the way in; the LF→OS-flavor re-expansion for copy-out
lives in the widget layer.
Functions§
- default_
indent_ size - Spaces per indent level, the width Tab and the indent verbs insert.