Interface for a Kernel user to register itself with the IKernelMenu's semantic extension points.
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 function to reconnect to the kernel
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 return the label associated to the
This function receives the number of items
n to be able to provided
correct pluralized forms of tranlsations.
A function to shut down the kernel.
A widget tracker for identifying the appropriate extender.
Generated using TypeDoc