Jul 27, 2023 · Jul 24, 2023 · Jul 24, 2023
diff --git a/packages/notebook-extension/src/index.ts b/packages/notebook-extension/src/index.ts
 },
 };

 /**
 * A plugin to update the tab icon based on the kernel status.
 */
 consttabIcon:JupyterFrontEndPlugin<void>={
 id:'@jupyter-notebook/notebook-extension:tab-icon',
 autoStart:true,
 requires:[INotebookTracker],
 activate:(app:JupyterFrontEnd,tracker:INotebookTracker)=>{
 // the favicons are provided by Jupyter Server
 constnotebookIcon=' /static/favicons/favicon-notebook.ico';
 constbusyIcon=' /static/favicons/favicon-busy-1.ico';

 constupdateBrowserFavicon=(
 status:ISessionContext.KernelDisplayStatus
 )=>{
 constlink=document.querySelector(
 "link[rel*='icon']"
 )asHTMLLinkElement;
 switch(status){
 case'busy':
 link.href=busyIcon;
 break;
 case'idle':
 link.href=notebookIcon;
 break;
 }
 };

 constonChange=async()=>{
 constcurrent=tracker.currentWidget;
 constsessionContext=current?.sessionContext;
 if(!sessionContext){
 return;
 }

 sessionContext.statusChanged.connect(()=>{
 conststatus=sessionContext.kernelDisplayStatus;
 updateBrowserFavicon(status);
 });
 };

 tracker.currentChanged.connect(onChange);
 },
 };

 /**
 * A plugin that adds a Trusted indicator to the menu area
 */
 closeTab,
 kernelLogo,
 kernelStatus,
 scrollOutput,
 notebookToolsWidget,
 scrollOutput,
 tabIcon,
 trusted,
 ];
Original file line number	Diff line number	Diff line change
Expand Up		@@ -402,6 +402,51 @@ const notebookToolsWidget: JupyterFrontEndPlugin<void> = {
		},
		};

		/**
		* A plugin to update the tab icon based on the kernel status.
		*/
		consttabIcon:JupyterFrontEndPlugin<void>={
		id:'@jupyter-notebook/notebook-extension:tab-icon',
		autoStart:true,
		requires:[INotebookTracker],
		activate:(app:JupyterFrontEnd,tracker:INotebookTracker)=>{
		// the favicons are provided by Jupyter Server
		constnotebookIcon=' /static/favicons/favicon-notebook.ico';
		constbusyIcon=' /static/favicons/favicon-busy-1.ico';

		constupdateBrowserFavicon=(
		status:ISessionContext.KernelDisplayStatus
		)=>{
		constlink=document.querySelector(
		"link[rel*='icon']"
		)asHTMLLinkElement;
		switch(status){
		case'busy':
		link.href=busyIcon;
		break;
		case'idle':
		link.href=notebookIcon;
		break;
		}
		};

		constonChange=async()=>{
		constcurrent=tracker.currentWidget;
		constsessionContext=current?.sessionContext;
		if(!sessionContext){
		return;
		}

		sessionContext.statusChanged.connect(()=>{
		conststatus=sessionContext.kernelDisplayStatus;
		updateBrowserFavicon(status);
		});
		};

		tracker.currentChanged.connect(onChange);
		},
		};

		/**
		* A plugin that adds a Trusted indicator to the menu area
		*/
Expand DownExpand Up		@@ -441,8 +486,9 @@ const plugins: JupyterFrontEndPlugin<any>[] = [
		closeTab,
		kernelLogo,
		kernelStatus,
		scrollOutput,
		notebookToolsWidget,
		scrollOutput,
		tabIcon,
		trusted,
		];

Expand Down