[DOC-WEB] [web-doc] master: separate unselectable plus and minus signs from copy area to make copying text easier

[Nilgün Belma Bugüner]

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>";

--
Documentation Website Mailing List (http://doc.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php