branch master updated: gnu: icecat: Remove vestigial patch.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

mhw pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new d3d3caeeeb gnu: icecat: Remove vestigial patch.
d3d3caeeeb is described below

commit d3d3caeeeb194c694e260970b23b29326781ce42
Author: Mark H Weaver <mhw@netris.org>
AuthorDate: Sun Oct 9 02:17:55 2022 -0400

    gnu: icecat: Remove vestigial patch.
    
    This is a followup to commit bb762ac517ff5ab4e55a0efb7e1b534c36c2b7c3.
    
    * gnu/packages/patches/icecat-use-older-reveal-hidden-html.patch:
    Delete file.
    * gnu/local.mk (dist_patch_DATA): Remove it.
---
 gnu/local.mk                                       |  1 -
 .../icecat-use-older-reveal-hidden-html.patch      | 70 ----------------------
 2 files changed, 71 deletions(-)

diff --git a/gnu/local.mk b/gnu/local.mk
index a013647d7e..9a1aad300e 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -1315,7 +1315,6 @@ dist_patch_DATA =                                         
\
   %D%/packages/patches/i7z-gcc-10.patch                                \
   %D%/packages/patches/icecat-makeicecat.patch                 \
   %D%/packages/patches/icecat-avoid-bundled-libraries.patch    \
-  %D%/packages/patches/icecat-use-older-reveal-hidden-html.patch       \
   %D%/packages/patches/icecat-use-system-graphite2+harfbuzz.patch      \
   %D%/packages/patches/icecat-use-system-media-libs.patch      \
   %D%/packages/patches/icedtea-7-hotspot-aarch64-use-c++98.patch\
diff --git a/gnu/packages/patches/icecat-use-older-reveal-hidden-html.patch 
b/gnu/packages/patches/icecat-use-older-reveal-hidden-html.patch
deleted file mode 100644
index 228adc23f1..0000000000
--- a/gnu/packages/patches/icecat-use-older-reveal-hidden-html.patch
+++ /dev/null
@@ -1,70 +0,0 @@
-From 2e8618d22568b6e00892a17303d437dd700eca98 Mon Sep 17 00:00:00 2001
-From: Mark H Weaver <mhw@netris.org>
-Date: Tue, 5 May 2020 21:27:41 -0400
-Subject: [PATCH] Revert "Update Reveal hidden HTML."
-
-I prefer the user interface of the old version.
-
-This reverts commit f6e3adb6b2344ee2c7bb453a305fd2d6fb4c194c.
----
- .../passive_improve_css.js                    | 23 ++++++++++++++-----
- 1 file changed, 17 insertions(+), 6 deletions(-)
-
-diff --git a/data/extensions/SubmitMe@0xbeef.coffee/passive_improve_css.js 
b/data/extensions/SubmitMe@0xbeef.coffee/passive_improve_css.js
-index 7692990..ca57982 100644
---- a/data/extensions/SubmitMe@0xbeef.coffee/passive_improve_css.js
-+++ b/data/extensions/SubmitMe@0xbeef.coffee/passive_improve_css.js
-@@ -10,6 +10,8 @@ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY 
KIND, EXPRESS OR IMPLI
- */
- 
- 
-+var bad = [];
-+
- function escapeHTML (unsafe_str) {
-     return unsafe_str
-       .replace(/&/g, '&amp;')
-@@ -20,9 +22,14 @@ function escapeHTML (unsafe_str) {
-       .replace(/\//g, '&#x2F;')
- }
- 
-+function dounhide(){
-+        for(var i = 0; i < bad.length; i++){
-+                        bad[i].remove();
-+                }
-+}
-+
- console.log("passive_improve_css.js");
- function reveal_css(){
--      var bad = [];
- 
-       var elements = document.getElementsByTagName("style");
-       for(var i = 0; i < elements.length; i++){
-@@ -41,16 +48,20 @@ function reveal_css(){
- 
-               }
-       }
--      if(bad.length > 0 && window.confirm("Hidden HTML detected, would you 
like to reveal it?")){
--              for(var i = 0; i < bad.length; i++){
--                      bad[i].remove();
--              }
-+      if(bad.length > 0){
-+              const insertedDiv = document.createElement('div');
-+              insertedDiv.innerHTML= '<p id="unhide" class="button white" 
style="text-decoration:none!important; color:#000!important;  font-size:1em 
!important; font-family:\'sans-serif\'!important; font-weight:normal 
!important; background-color:transparent!important; margin:0!important; 
padding:0!important; font-size:10px!important; line-height:1!important"' +
-+                      'alt="Click to reveal hidden elements in this page">' +
-+                      '<span>Reveal hidden elements</span>' +
-+                      '</a>';
-+              insertedDiv.style="position:fixed; bottom:1em; right:1em; 
opacity:0.8; z-index: 2147483647 !important; border-radius: 3px !important; 
background-color: #fff !important; padding: 0.5em !important;   box-shadow: 0 0 
3px grey !important; font-color:#bbb!important; cursor: pointer!important;";
-+              insertedDiv.addEventListener("click", dounhide, false);
-+              document.body.insertBefore(insertedDiv, 
document.body.firstChild);
-       }
- }
- 
- reveal_css();
- 
--
- /*
- var a = document.getElementsByTagName("style")[2];
- var btn = document.createElement("style");        // Create a <button> element
--- 
-2.26.2
-