Interface IKernelUser

Interface for a Kernel user to register itself with the IKernelMenu's semantic extension points.

Properties

A semantic command to change the kernel.

A semantic command to clear the widget.

interruptKernel: SemanticCommand

A semantic command to interrupt the kernel.

reconnectToKernel: SemanticCommand

A semantic command to reconnect to the kernel

A semantic command to restart the kernel, which returns a promise of whether the kernel was restarted.

shutdownKernel: SemanticCommand

A semantic command to shut down the kernel.