Handbook
Glossary
selected-line
Vocabulary
ui
.
gadgets
.
editors
.
private
Definition
IN:
ui.gadgets.editors.private
TUPLE:
selected-line
start end first? last?
;