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

Properties

changeKernel: SemanticCommand

A semantic command to change the kernel.

clearWidget: SemanticCommand

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

restartKernel: SemanticCommand

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.