ExtensionsHandler | @jupyterlab (original) (raw)

Implements

Index

Constructors

constructor

Accessors

configChanged

disposed

isDisposed

Methods

dispose

Protectedget

The extension builder

ProtectedgetEffect

Parameters

Returns null | StateEffect<unknown>

getInitialExtensions

The initial editor extensions

getOption

Protectedhas

Extension existence

hasOption

injectExtension

Parameters

Returns void

reconfigureExtension

Parameters

Returns void

reconfigureExtensions

Returns void

setBaseOptions

Returns void

setOption

Returns void

setOptions

Returns void