From a116a2a4238c7dec4a69e396effc06b6572e2d59 Mon Sep 17 00:00:00 2001 From: n1474335 Date: Fri, 4 Nov 2022 18:45:52 +0000 Subject: [PATCH] Input tab headers now show the filename for file inputs --- src/web/waiters/InputWaiter.mjs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/web/waiters/InputWaiter.mjs b/src/web/waiters/InputWaiter.mjs index d716cd4c..e7c2720f 100644 --- a/src/web/waiters/InputWaiter.mjs +++ b/src/web/waiters/InputWaiter.mjs @@ -750,7 +750,10 @@ class InputWaiter { const activeTab = this.manager.tabs.getActiveTab("input"); this.updateInputValue(activeTab, value); - this.manager.tabs.updateTabHeader(activeTab, value.slice(0, 100).replace(/[\n\r]/g, ""), "input"); + this.inputWorker.postMessage({ + action: "updateTabHeader", + data: activeTab + }); // Fire the statechange event as the input has been modified window.dispatchEvent(this.manager.statechange);