From 2ec17dc56be5ed01ad9b285647e6d63963df2205 Mon Sep 17 00:00:00 2001 From: Raunak Raj <71929976+bajrangCoder@users.noreply.github.com> Date: Tue, 4 Nov 2025 09:48:58 +0530 Subject: [PATCH] fix: `switchFile` api to respect custom subtitle --- src/lib/editorFile.js | 4 ++++ src/lib/editorManager.js | 2 ++ 2 files changed, 6 insertions(+) diff --git a/src/lib/editorFile.js b/src/lib/editorFile.js index fd5c385a1..71cbbabac 100644 --- a/src/lib/editorFile.js +++ b/src/lib/editorFile.js @@ -944,6 +944,10 @@ export default class EditorFile { } } + get headerSubtitle() { + return this.#getTitle(); + } + /** * * @param {FileAction} action diff --git a/src/lib/editorManager.js b/src/lib/editorManager.js index 214483f53..af13262f6 100644 --- a/src/lib/editorManager.js +++ b/src/lib/editorManager.js @@ -633,6 +633,7 @@ async function EditorManager($header, $body) { if (activeFileId === id) return; const file = manager.getFile(id); + if (!file) return; manager.activeFile?.tab.classList.remove("active"); @@ -684,6 +685,7 @@ async function EditorManager($header, $body) { } $header.text = file.filename; + $header.subText = file.headerSubtitle || ""; manager.onupdate("switch-file"); events.emit("switch-file", file); }