From 589c07291b26c244ef26e2a9ffed334d83ab2b10 Mon Sep 17 00:00:00 2001 From: Arjun Verma Date: Thu, 10 Oct 2024 20:36:39 +0530 Subject: [PATCH] Add `logoicon` as tab icon (#183) --- python/jupytergis_core/src/jgisplugin/plugins.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/python/jupytergis_core/src/jgisplugin/plugins.ts b/python/jupytergis_core/src/jgisplugin/plugins.ts index 37830118..c23a9e90 100644 --- a/python/jupytergis_core/src/jgisplugin/plugins.ts +++ b/python/jupytergis_core/src/jgisplugin/plugins.ts @@ -88,6 +88,7 @@ const activate = ( } widgetFactory.widgetCreated.connect((sender, widget) => { + widget.title.icon = logoIcon; widget.context.pathChanged.connect(() => { tracker.save(widget); });