Refresh file browser on head change (#950) (#964)

jupyterlab · Jun 30, 2021 · 4fd9052 · 4fd9052
1 parent c5e09cb
commit 4fd9052
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/index.ts b/src/index.ts
@@ -143,6 +143,12 @@ async function activate(
       gitExtension.pathRepository = change.newValue;
     }
   );
+
+  // Whenever the `HEAD` of the Git repository changes, refresh the file browser
+  gitExtension.headChanged.connect(() => {
+    filebrowser.model.refresh();
+  });
+
   // Whenever a user adds/renames/saves/deletes/modifies a file within the lab environment, refresh the Git status
   app.serviceManager.contents.fileChanged.connect(() =>
     gitExtension.refreshStatus()