Merge pull request #3787 from martinRenou/fix_tab_widget

Fix tab widget with JupyterLab 4
jupyter-widgets · Jun 20, 2023 · 52edd7c · 52edd7c
2 parents 2b1bb1e + c3e60c7
commit 52edd7c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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.