From 8811bd7f814d7a69faffd423c5b9d3f6802c6955 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nilg=C3=BCn=20Belma=20Bug=C3=BCner?= <nilgun@php.net>
Date: Thu, 31 Mar 2022 14:55:12 +0300
Subject: [PATCH] add a space to the blank line to copy

---
 include/lib_revcheck.inc.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/lib_revcheck.inc.php b/include/lib_revcheck.inc.php
index 9a08fa9..6e8852c 100644
--- a/include/lib_revcheck.inc.php
+++ b/include/lib_revcheck.inc.php
@@ -294,6 +294,7 @@ function showdiff ()
                 echo "<div style='$lineNumberStyles $addAccentBg'></div>";
                 echo "<div style='$lineNumberStyles $addAccentBg'>$newLineNumber</div>";
                 echo "<div style='$addAccentBg flex: 0 0 20px; text-align: center; user-select: none;'>$fc</div>";
+                if ($line == "+") $line .= " ";
                 echo "<div style='$codeStyles $addBg'>" . substr($line, 1) . "</div>\n";
 
                 $newLineNumber++;