From 3d88342065fda72436ab693a33dae24379c82a6e Mon Sep 17 00:00:00 2001
From: Jaymin Shah <shahjaymin2101@gmail.com>
Date: Mon, 3 Oct 2022 13:29:11 +0530
Subject: [PATCH] Fix: no mouse pointer when hovering on the Jupyter icon

---
 packages/application-extension/src/index.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/packages/application-extension/src/index.ts b/packages/application-extension/src/index.ts
index 78f85dbc6d..fbe3685986 100644
--- 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 });