Handbook
Glossary
source-editor
Vocabulary
ui
.
gadgets
.
editors
Definition
IN:
ui.gadgets.editors
TUPLE:
source-editor
<
multiline-editor
;