Workspace.unregisterEditorExtension method

Workspace › unregisterEditorExtension

Unofficial

Unregister a CodeMirror editor extension

Signature:

unregisterEditorExtension(extension: Extension): void

Parameters:

Parameter	Type	Description
extension	Extension	The extension to unregister.

Returns: void