Merge pull request #6552 from jasongrout/home

Add home tooltip showing server root if available for user information.
jupyterlab · Jun 12, 2019 · 266a520 · 266a520
2 parents 7f423b1 + d09148e
commit 266a520
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/packages/filebrowser/src/crumbs.ts b/packages/filebrowser/src/crumbs.ts
@@ -13,7 +13,7 @@ import { Widget } from '@phosphor/widgets';
 
 import { DOMUtils, showErrorMessage } from '@jupyterlab/apputils';
 
-import { PathExt } from '@jupyterlab/coreutils';
+import { PathExt, PageConfig } from '@jupyterlab/coreutils';
 
 import { renameFile } from '@jupyterlab/docmanager';
 
@@ -354,7 +354,7 @@ namespace Private {
     let home = document.createElement('span');
     home.className =
       MATERIAL_CLASS + ' ' + BREADCRUMB_HOME + ' ' + BREADCRUMB_ITEM_CLASS;
-    home.title = 'Home';
+    home.title = PageConfig.getOption('serverRoot') || 'Home';
     let ellipsis = document.createElement('span');
     ellipsis.className =
       MATERIAL_CLASS + ' ' + BREADCRUMB_ELLIPSES + ' ' + BREADCRUMB_ITEM_CLASS;