Fix: no mouse pointer when hovering on the Jupyter icon

jupyter · Oct 3, 2022 · 3d88342 · 3d88342
1 parent 7364633
commit 3d88342
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/packages/application-extension/src/index.ts b/packages/application-extension/src/index.ts
@@ -138,7 +138,8 @@ const logo: JupyterFrontEndPlugin<void> = {
       elementPosition: 'center',
       padding: '2px 2px 2px 8px',
       height: '28px',
-      width: 'auto'
+      width: 'auto',
+      cursor: 'pointer'
     });
     logo.id = 'jp-NotebookLogo';
     app.shell.add(logo, 'top', { rank: 0 });