Plugin vs Extension

As these terms are used differently among various applications, for Code Mirror specifically, how do you define them?

CodeMirror uses ‘extension’ for any kind of configuration element that can be added to a state (facet values, state fields, groups of other extensions), and ‘view plugin’ for stateful objects (enabled via an extension) that live in the editor view. Other projects may use the terms very differently, or even interchangeably.

1 Like