Merge pull request #6550 from hawkeyes21/main

Fix: No mouse pointer when hovering on the Jupyter icon
4 years ago · 7c123a8fb1
parent 7364633481 3d88342065
commit 7c123a8fb1
1 changed files with 2 additions and 1 deletions
--- 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 });