The kernel sources UI model.

interface IKernelSources {
    changed: ISignal<IKernelSources, null | KernelSource[]>;
    filter: string;
    filterChanged: ISignal<IKernelSources, string>;
    isDisposed: boolean;
    kernelSourceOpened: ISignal<IKernelSources, null | Source>;
    kernelSources: null | KernelSource[];
    dispose(): void;
    open(source): void;



changed: ISignal<IKernelSources, null | KernelSource[]>

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, null | Source>

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

kernelSources: null | 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