editor-theme ( editor -- editor )


Vocabulary
ui.gadgets.editors.private

Inputs
editoran object


Outputs
editoran object


Definition