EditorHintRegistry constructor

const EditorHintRegistry()

For the editor's registry, which extends this; a plugin is handed one through maybeRegistry and never makes its own.

Implementation

const EditorHintRegistry();