Interface IKernelStatusModel

Kernel status indicator model.

interface IKernelStatusModel {
    addSessionProvider: (
        provider: (widget: null | Widget) => null | ISessionContext,
    ) => void;
}

Properties

addSessionProvider: (
    provider: (widget: null | Widget) => null | ISessionContext,
) => void

Add a session context provider.

A provider will receive the currently active widget and must return the associated session context if it can or null otherwise.