[web-doc] master: separate unselectable plus and minus signs from copy area to make copying text easier
| From: | Nilgün Belma Bugüner | Date: | Thu, 06 Jan 2022 19:42:22 +0000 |
| Subject: | [web-doc] master: separate unselectable plus and minus signs from copy area to make copying text easier | ||
| Groups: | php.doc.web | ||
| Request: | Send a blank email to doc-web+get-2499@lists.php.net to get a copy of this message | ||
Author: Nilgün Belma Bugüner (nilgun)
Date: 2022-01-06T22:42:26+03:00
Commit: https://github.com/php/web-doc/commit/80a372036e16e9386832a70eaae915b21cba0d06
Raw diff: https://github.com/php/web-doc/commit/80a372036e16e9386832a70eaae915b21cba0d06.diff
separate unselectable plus and minus signs from copy area to make copying text easier
Changed paths:
M include/lib_revcheck.inc.php
Diff:
diff --git a/include/lib_revcheck.inc.php b/include/lib_revcheck.inc.php
index e5eb89b..8457639 100644
--- a/include/lib_revcheck.inc.php
+++ b/include/lib_revcheck.inc.php
@@ -256,8 +256,8 @@ function showdiff ()
$lines = explode ( "\n" , $raw );
echo "<div style='font: .75rem monospace; overflow-wrap:break-word;
line-height: 1.8; border: 1px solid #ccc; border-radius: 4px;'>";
- $codeStyles = 'flex-grow: 1; min-width: 0; white-space: pre-wrap;';
- $lineNumberStyles = 'flex: 0 0 40px; text-align: right; user-select: none; padding: 0
8px;';
+ $codeStyles = 'flex-grow: 1; min-width: 0; white-space: pre-wrap; padding: 0
4px;';
+ $lineNumberStyles = 'flex: 0 0 40px; text-align: right; user-select: none; padding: 0
4px;';
// Base gray palette
$addBg = 'background-color: #f0f0f0;';
@@ -287,14 +287,14 @@ function showdiff ()
if ($fc == "+") {
echo "<div style='$lineNumberStyles
$addAccentBg'></div>";
echo "<div style='$lineNumberStyles
$addAccentBg'>$newLineNumber</div>";
- echo "<div style='$addBg flex: 0 0 20px; text-align: center;
user-select: none;'>$fc</div>";
+ echo "<div style='$addAccentBg flex: 0 0 20px; text-align: center;
user-select: none;'>$fc</div>";
echo "<div style='$codeStyles $addBg'>" . substr($line,
1) . "</div>\n";
$newLineNumber++;
} else if ($fc == "-") {
echo "<div style='$lineNumberStyles
$delAccentBg'>$oldLineNumber</div>";
echo "<div style='$lineNumberStyles
$delAccentBg'></div>";
- echo "<div style='$delBg flex: 0 0 20px; text-align: center;
user-select: none;'>$fc</div>";
+ echo "<div style='$delAccentBg flex: 0 0 20px; text-align: center;
user-select: none;'>$fc</div>";
echo "<div style='$codeStyles $delBg'>" . substr($line,
1) . "</div>\n";
$oldLineNumber++;
@@ -305,6 +305,7 @@ function showdiff ()
echo "<div style='$lineNumberStyles $tagAccentBg color: #57606a;
padding-top: 8px; padding-bottom: 8px;'>...</div>";
echo "<div style='$lineNumberStyles $tagAccentBg color: #57606a;
padding-top: 8px; padding-bottom: 8px;'>...</div>";
+ echo "<div style='flex: 0 0 20px; text-align: center;
$tagAccentBg'> </div>";
echo "<div style='$codeStyles $tagBg color: #57606a; padding:
8px;'>$line</div>\n";
} else {
echo "<div style='$lineNumberStyles color:
gray;'>$oldLineNumber</div>";