From 427bb145e18f166031fb25ad0097f5bfb15f78cf Mon Sep 17 00:00:00 2001
From: Ofek <ofekshilon@gmail.com>
Date: Sat, 20 Dec 2025 14:07:14 +0200
Subject: [PATCH] Fix #8152: handle `\0` lines as empty (#8348)

Browsers render lines with just \0 chars as zero-height. Treat them as
empty lines instead

Implementing the suggestion raised in the issue discussion.
---
 static/panes/executor.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/static/panes/executor.ts b/static/panes/executor.ts
index 848668613..16ca106fe 100644
--- a/static/panes/executor.ts
+++ b/static/panes/executor.ts
@@ -537,7 +537,8 @@ export class Executor extends Pane<ExecutorState> {
     ): JQuery<HTMLElement> {
         const outElem = $('<pre class="card execution-stdoutstderr"></pre>').appendTo(element);
         output.forEach(obj => {
-            if (obj.text === '') {
+            // Bug #8152: output lines with only null characters should be rendered as empty lines
+            if (obj.text === '' || (obj.text.includes('\x00') && obj.text.replace(/\x00/g, '') === '')) {
                 this.addCompilerOutputLine('<br/>', outElem, undefined, undefined, false, null);
             } else {
                 const lineNumber = obj.tag ? obj.tag.line : obj.line;