export interface JupyterPluginSettings {
  serverSettings?: {
    baseUrl: string;
    token: string;
  };
  /** HTML Element to mount the Jupyter Manager UI on */
  mount?: HTMLElement;
  /** Hides the <Starboard Jupyter Plugin> header of the widget */
  headerText: string;
}