editor-text-dims

Vocabulary

ui.gadgets.editors

Definition

IN: ui.gadgets.editors

TUPLE: editor-text-dims key dims ;