The kernel sources UI model.



Signal emitted when the kernel sources have changed.

filter: string

The filter to apply.

filterChanged: ISignal<IKernelSources, string>

Signal emitted when the kernel sources filter has changed.

isDisposed: boolean

Test whether the object has been disposed.


This property is always safe to access.

kernelSourceOpened: ISignal<IKernelSources, Source>

Signal emitted when a kernel source has be opened in the main area.

kernelSources: KernelSource[]

The kernel source.


  • Dispose of the resources held by the object.


    If the object's dispose method is called more than once, all calls made after the first will be a no-op.

    Undefined Behavior

    It is undefined behavior to use any functionality of the object after it has been disposed unless otherwise explicitly noted.

    Returns void

  • Open a source in the main area.


    Returns void

Generated using TypeDoc