From 169d3e6c77461b7653c7b375d4bd7be7d7f4d9ae Mon Sep 17 00:00:00 2001 From: theit8514 Date: Sun, 26 Dec 2021 17:33:15 -0500 Subject: [PATCH] Add title attribute to log title bar --- src/ui/React/LogBoxManager.tsx | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ui/React/LogBoxManager.tsx b/src/ui/React/LogBoxManager.tsx index c864c1be0..f30c8c4a9 100644 --- a/src/ui/React/LogBoxManager.tsx +++ b/src/ui/React/LogBoxManager.tsx @@ -140,10 +140,10 @@ function LogWindow(props: IProps): React.ReactElement { rerender(); } - function title(): string { + function title(full = false): string { const maxLength = 30; const t = `${script.filename} ${script.args.map((x: any): string => `${x}`).join(" ")}`; - if (t.length <= maxLength) { + if (full || t.length <= maxLength) { return t; } return t.slice(0, maxLength - 3) + "..."; @@ -185,7 +185,7 @@ function LogWindow(props: IProps): React.ReactElement { }} > - + {title()}