tabSpaceStatus: JupyterFrontEndPlugin<void> = ...

A plugin that provides a status item allowing the user to switch tabs vs spaces and tab widths for text editors.