From c3e60c75829b170cb53380a021504d6ff5cbdc22 Mon Sep 17 00:00:00 2001
From: martinRenou <martin.renou@gmail.com>
Date: Thu, 15 Jun 2023 16:10:56 +0200
Subject: [PATCH] Fix tab widget with JupyterLab 4

---
 packages/controls/src/widget_selectioncontainer.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/controls/src/widget_selectioncontainer.ts b/packages/controls/src/widget_selectioncontainer.ts
index bcf8e0919e..e2a071d1c4 100644
--- a/packages/controls/src/widget_selectioncontainer.ts
+++ b/packages/controls/src/widget_selectioncontainer.ts
@@ -300,6 +300,7 @@ export class TabView extends DOMWidgetView {
     const tabs = this.luminoWidget;
     tabs.addClass('jupyter-widgets');
     tabs.addClass('widget-container');
+    tabs.addClass('jupyter-widget-tab');
     tabs.addClass('widget-tab');
     tabs.tabsMovable = true;
     tabs.tabBar.insertBehavior = 'none'; // needed for insert behavior, see below.