From 163d4280f3db4a788ac881d32e8f6d7611f117dc Mon Sep 17 00:00:00 2001 From: Raunak Raj <71929976+bajrangCoder@users.noreply.github.com> Date: Sun, 31 May 2026 11:49:30 +0530 Subject: [PATCH] fix(tabs): preserve active header during restore --- src/lib/editorManager.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/lib/editorManager.js b/src/lib/editorManager.js index 444afe505..21154444a 100644 --- a/src/lib/editorManager.js +++ b/src/lib/editorManager.js @@ -1796,7 +1796,9 @@ async function EditorManager($header, $body) { : manager.files.length; manager.files.splice(insertAt, 0, file); syncOpenFileList(); - $header.text = file.name; + if (!manager.activeFile) { + $header.text = file.name; + } toggleProblemButton(); }