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