A function to change the kernel.
A function to interrupt the kernel.
An additional function that determines whether the extender
is enabled. By default it is considered enabled if the application
active widget is contained in the tracker. If this is also
provided, the criterion is equivalent to
tracker.has(widget) && extender.isEnabled(widget)
A noun to use for the restart and clear all command.
A function to restart the kernel, which returns a promise of whether the kernel was restarted.
A function to restart the kernel and clear the widget, which returns a promise of whether the kernel was restarted.
A function to shut down the kernel.
A widget tracker for identifying the appropriate extender.
Generated using TypeDoc
Interface for a Kernel user to register itself with the IKernelMenu's semantic extension points.