Merge pull request #6550 from hawkeyes21/main

Fix: No mouse pointer when hovering on the Jupyter icon
jupyter · Oct 3, 2022 · 7c123a8 · 7c123a8
2 parents 7364633 + 3d88342
commit 7c123a8
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 });