Interface IKernelPreference

A kernel preference.

Notes

Preferences for a kernel are considered in the order id, name, language. If no matching kernels can be found and autoStartDefault is true, then the default kernel for the server is preferred.

interface IKernelPreference {
    autoStartDefault?: boolean;
    canStart?: boolean;
    id?: string;
    language?: string;
    name?: string;
    shouldStart?: boolean;
    shutdownOnDispose?: boolean;
    skipKernelRestartDialog?: boolean;
}

Properties

autoStartDefault? canStart? id? language? name? shouldStart? shutdownOnDispose? skipKernelRestartDialog?

Properties

Optional ReadonlyautoStartDefault

autoStartDefault?: boolean

Automatically start the default kernel if no other matching kernel is found (default false).

Optional ReadonlycanStart

canStart?: boolean

A kernel can be started (default true).

Optional Readonlyid

id?: string

The id of an existing kernel.

Optional Readonlylanguage

language?: string

The preferred kernel language.

Optional Readonlyname

name?: string

The name of the kernel.

Optional ReadonlyshouldStart

shouldStart?: boolean

A kernel should be started automatically (default true).

Optional ReadonlyshutdownOnDispose

shutdownOnDispose?: boolean

Shut down the session when session context is disposed (default false).

Optional ReadonlyskipKernelRestartDialog

skipKernelRestartDialog?: boolean

Skip showing the kernel restart dialog if checked (default false).

Settings

Member Visibility

On This Page

Notes
Properties