Add filename as caption for a diff tab

jupyterlab · Mar 5, 2021 · 2715fd4 · 2715fd4
1 parent eca1e02
commit 2715fd4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/index.ts b/src/index.ts
@@ -112,6 +112,7 @@ function activate(
         });
         mainAreaItem.id = id;
         mainAreaItem.title.label = file.name;
+        mainAreaItem.title.caption = file.name;
         mainAreaItem.title.icon = diffIcon;
         mainAreaItem.title.closable = true;
         shell.add(mainAreaItem, 'main');