|
@@ -335,7 +335,7 @@ async function updateTabTitle(workspace: string, db: IStateDB, name: string) {
|
|
|
const data: any = await db.toJSON();
|
|
|
let current: string = data['layout-restorer:data']?.main?.current;
|
|
|
if (current === undefined) {
|
|
|
- document.title = `JupyterLab${
|
|
|
+ document.title = `${PageConfig.getOption('appName') || 'JupyterLab'}${
|
|
|
workspace.startsWith('auto-') ? ` (${workspace})` : ``
|
|
|
}`;
|
|
|
} else {
|