From db1bcb964dc9ccc4645b47a002447980ec2a81a2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jure=20=C5=A0orn?= Date: Wed, 11 Dec 2024 00:22:57 +0100 Subject: [PATCH] Match statement --- index.html | 6 +++--- parse.js | 7 +++++++ 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index 48a2873..b375f4a 100644 --- a/index.html +++ b/index.html @@ -55,7 +55,7 @@
- +
@@ -1778,7 +1778,7 @@ first_element = op.methodcaller('pop', ... parts=['/', 'home', user, *_] ... ) as p if p.name.lower().startswith('readme') and p.is_file(): ... print(f'{p.name} is a readme file that belongs to user {user}.') -'README.md is a readme file that belongs to user gto.' +README.md is a readme file that belongs to user gto.

#Logging

import logging as log
@@ -2924,7 +2924,7 @@ $ deactivate                # Deactivates the active
  
 
   

-    
+    
     
   

 
diff --git a/parse.js b/parse.js
index fa5f100..e592db8 100755
--- a/parse.js
+++ b/parse.js
@@ -733,6 +733,7 @@ function modifyPage() {
   unindentBanner();
   updateDiagrams();
   highlightCode();
+  fixMatchHighlights();
   fixPandasDiagram();
   removePlotImages();
   fixABCSequenceDiv();
@@ -897,6 +898,12 @@ function insertPageBreakBefore(an_id) {
   $('
').insertBefore($(an_id).parent())
 }
 
+function fixMatchHighlights() {
+  const line = $(`span:contains(README.md is a readme file that belongs to user gto.)`);
+  line.after('README.md is a readme file that belongs to user gto.');
+  line.remove();
+}
+
 function fixPandasDiagram() {
   const diagram_15 = '┏━━━━━━━━━━━━━━━━━━━━━━━┯━━━━━━━━━━━━━━━┯━━━━━━━━━━━━┯━━━━━━━━━━━━┯━━━━━━━━━━━━━━━━━━━━━━━━━━━┓';
   $(`code:contains(${diagram_15})`).find(".hljs-keyword:contains(and)").after("and");