@@ -102,13 +102,7 @@ function activateNotebookTreeWidget(
102
102
toolbarRegistry : IToolbarWidgetRegistry ,
103
103
manager : IRunningSessionManagers | null
104
104
) : INotebookTree {
105
- const notebookTreeWidget = new NotebookTreeWidget ( ) ;
106
- // const tabPanel = new TabPanel({
107
- // tabPlacement: 'top',
108
- // tabsMovable: true,
109
- // renderer: TabBarSvg.defaultRenderer
110
- // });
111
- // tabPanel.addClass('jp-TreePanel');
105
+ const nbTreeWidget = new NotebookTreeWidget ( ) ;
112
106
113
107
const trans = translator . load ( 'notebook' ) ;
114
108
@@ -118,8 +112,8 @@ function activateNotebookTreeWidget(
118
112
browser . node . setAttribute ( 'aria-label' , trans . __ ( 'File Browser Section' ) ) ;
119
113
browser . title . icon = folderIcon ;
120
114
121
- notebookTreeWidget . addWidget ( browser ) ;
122
- notebookTreeWidget . tabBar . addTab ( browser . title ) ;
115
+ nbTreeWidget . addWidget ( browser ) ;
116
+ nbTreeWidget . tabBar . addTab ( browser . title ) ;
123
117
124
118
// Toolbar
125
119
toolbarRegistry . addFactory (
@@ -149,8 +143,8 @@ function activateNotebookTreeWidget(
149
143
running . id = 'jp-running-sessions' ;
150
144
running . title . label = trans . __ ( 'Running' ) ;
151
145
running . title . icon = runningIcon ;
152
- notebookTreeWidget . addWidget ( running ) ;
153
- notebookTreeWidget . tabBar . addTab ( running . title ) ;
146
+ nbTreeWidget . addWidget ( running ) ;
147
+ nbTreeWidget . tabBar . addTab ( running . title ) ;
154
148
}
155
149
156
150
// show checkboxes by default if there is no user setting override
@@ -166,9 +160,9 @@ function activateNotebookTreeWidget(
166
160
console . error ( reason . message ) ;
167
161
} ) ;
168
162
169
- app . shell . add ( notebookTreeWidget , 'main' , { rank : 100 } ) ;
163
+ app . shell . add ( nbTreeWidget , 'main' , { rank : 100 } ) ;
170
164
171
- return notebookTreeWidget ;
165
+ return nbTreeWidget ;
172
166
}
173
167
174
168
/**
0 commit comments