BitSquare/Codeman
2
0
Fork 0
mirror of https://github.com/Ark0N/Codeman.git synced 2026-10-08 00:19:42 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #340 from aakhter/pr/cod-341-file-viewer-search

Browse Source 
feat(file-viewer): COD-341 search the full workspace
This commit is contained in:
Ark0N
2026-08-26 18:03:21 +02:00
committed by GitHub
parent 00b32ad2b8 d15d979a33
commit 5f8d4de443
6 changed files with 2702 additions and 69 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/web/public/app.js
+1
View File
@@ -5710,6 +5710,7 @@ class CodemanApp {
this._cleanupPreviousSession(sessionId);
this.activeSessionId = sessionId;
this._activateFileBrowserSession?.(sessionId);
// Repaint the partial-history banner for the tab being switched TO. The
// replay paths refresh it when their fetch lands; without this the previous
// session's notice stays on screen until then (#258).