Wording tweak

pull/6294/head
Jeremy Tuloup 5 years ago
parent b659326bd0
commit 4b74003462

@ -115,7 +115,7 @@ const pages: JupyterFrontEndPlugin<void> = {
});
app.commands.addCommand(CommandIDs.openTree, {
label: 'Open File Browser',
label: 'Open Files',
execute: () => {
window.open(`${baseUrl}classic/tree`);
}

@ -249,14 +249,14 @@ function activateBrowser(
const tabPanel = new TabPanel({ tabPlacement: 'top', tabsMovable: true });
tabPanel.addClass('jp-TreePanel');
browser.title.label = 'File Browser';
browser.title.label = 'Files';
tabPanel.addWidget(browser);
tabPanel.tabBar.addTab(browser.title);
if (manager) {
const running = new RunningSessions(manager, translator);
running.id = 'jp-running-sessions';
running.title.label = 'Running Sessions';
running.title.label = 'Running';
running.title.icon = runningIcon;
tabPanel.addWidget(running);
tabPanel.tabBar.addTab(running.title);

Loading…
Cancel
Save