mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-03-13 13:17:50 +08:00
Code Issues Packages Projects Releases Wiki Activity

Show basename in the title indicator

Browse Source
This commit is contained in:
Jeremy Tuloup 2020-12-15 10:19:16 +01:00
parent 6d173339fc
commit 8a21ef105e
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
packages/application-extension/src/index.ts
View File

@ -317,7 +317,8 @@ const title: JupyterFrontEndPlugin<void> = {
widget.node.onclick = async () => {
const result = await renameDialog(docManager, current.context.path);
if (result) {
h.textContent = result.path;
const basename = PathExt.basename(result.path);
h.textContent = basename;
if (router) {
// TODO: better handle this
const encoded = encodeURIComponent(result.path);