Class ConfigurationChangedEvent

Expand description

An event describing that the configuration of the editor has changed.

Constructors§

§

new ConfigurationChangedEvent(): ConfigurationChangedEvent

Methods§

§

hasChanged(id: EditorOption): boolean