May 3, 2022 · May 3, 2022 · May 3, 2022
diff --git a/packages/application-extension/src/index.ts b/packages/application-extension/src/index.ts
 const topVisibility: JupyterFrontEndPlugin<void> = {
  id: '@jupyter-notebook/application-extension:top',
  requires: [INotebookShell, ITranslator],
  optional: [ISettingRegistry],
  optional: [ISettingRegistry, ICommandPalette],
  activate: (
    app: JupyterFrontEnd<JupyterFrontEnd.IShell>,
    notebookShell: INotebookShell,
    translator: ITranslator,
    settingRegistry: ISettingRegistry | null
    settingRegistry: ISettingRegistry | null,
    palette: ICommandPalette | null
  ) => {
    const trans = translator.load('notebook');
    const top = notebookShell.top;
        });
    }

    if (palette) {
      palette.addItem({ command: CommandIDs.toggleTop, category: 'View' });
    }

    const onChanged = (): void => {
      if (settingsOverride) {
        return;
Original file line number	Diff line number	Diff line change
Expand Up		@@ -481,12 +481,13 @@ const title: JupyterFrontEndPlugin<void> = {
		const topVisibility: JupyterFrontEndPlugin<void> = {
		id: '@jupyter-notebook/application-extension:top',
		requires: [INotebookShell, ITranslator],
		optional: [ISettingRegistry],
		optional: [ISettingRegistry, ICommandPalette],
		activate: (
		app: JupyterFrontEnd<JupyterFrontEnd.IShell>,
		notebookShell: INotebookShell,
		translator: ITranslator,
		settingRegistry: ISettingRegistry \| null
		settingRegistry: ISettingRegistry \| null,
		palette: ICommandPalette \| null
		) => {
		const trans = translator.load('notebook');
		const top = notebookShell.top;
Expand DownExpand Up		@@ -527,6 +528,10 @@ const topVisibility: JupyterFrontEndPlugin<void> = {
		});
		}

		if (palette) {
		palette.addItem({ command: CommandIDs.toggleTop, category: 'View' });
		}

		const onChanged = (): void => {
		if (settingsOverride) {
		return;
Expand Down