diff --git a/src/ui/React/LogBoxManager.tsx b/src/ui/React/LogBoxManager.tsx index 2bbd1b376..78f89265f 100644 --- a/src/ui/React/LogBoxManager.tsx +++ b/src/ui/React/LogBoxManager.tsx @@ -88,7 +88,6 @@ function LogWindow(props: IProps): React.ReactElement { killWorkerScript(props.script, props.script.server, true); props.onClose(); } - //useEffect(() => TerminalEvents.subscribe(_.debounce(async () => rerender(), 25, { maxWait: 50 })), []); function updateLayer(): void { const c = container.current; @@ -98,6 +97,15 @@ function LogWindow(props: IProps): React.ReactElement { rerender(); } + function title(): string { + const maxLength = 30; + const t = `${props.script.filename} ${props.script.args.map((x: any): string => `${x}`).join(" ")}`; + if (t.length <= maxLength) { + return t; + } + return t.slice(0, maxLength - 3) + "..."; + } + return ( - {props.script.filename} {props.script.args.map((x: any): string => `${x}`).join(" ")} + {title()}