diff --git a/packages/tree-extension/src/index.ts b/packages/tree-extension/src/index.ts index 5fb709e4fc..d9b842f7ac 100644 --- a/packages/tree-extension/src/index.ts +++ b/packages/tree-extension/src/index.ts @@ -27,7 +27,8 @@ import { ITranslator } from '@jupyterlab/translation'; import { caretDownIcon, folderIcon, - runningIcon + runningIcon, + TabBarSvg } from '@jupyterlab/ui-components'; import { Menu, MenuBar, TabPanel } from '@lumino/widgets'; @@ -113,7 +114,11 @@ const browserWidget: JupyterFrontEndPlugin = { toolbarRegistry: IToolbarWidgetRegistry, manager: IRunningSessionManagers | null ): void => { - const tabPanel = new TabPanel({ tabPlacement: 'top', tabsMovable: true }); + const tabPanel = new TabPanel({ + tabPlacement: 'top', + tabsMovable: true, + renderer: TabBarSvg.defaultRenderer + }); tabPanel.addClass('jp-TreePanel'); const trans = translator.load('notebook');