Variable savingStatusPluginConst

savingStatusPlugin: JupyterFrontEndPlugin<void> = ...

A plugin for adding a saving status item to the status bar.