From 917b6f28fce21c22255ffa3702b4312b2fc3f652 Mon Sep 17 00:00:00 2001
From: Jean-Christophe Engel <lesanges@zaclys.net>
Date: Sat, 27 Jul 2024 11:36:31 +0200
Subject: [PATCH] code.js : rendre visibles les options d'export

---
 code.js | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/code.js b/code.js
index a52d886..ba3ac8f 100644
--- a/code.js
+++ b/code.js
@@ -86,11 +86,17 @@ return getDate(${date});
 
 // ------------------------------------------------------------------------
 // rendre visibles les options de filtres de membre
-var nav = document.querySelector(".dropdown");
-var li = nav.querySelectorAll("li");
+const nav = document.querySelector(".dropdown");
+const li = nav.querySelectorAll("li");
 for (const l of li) { l.style.display="block"; }
 return;
 
+// rendre visibles les options d'export
+const nav = document.querySelector(".tabs");
+let span = nav.querySelector("aside > span > span");
+span.style.display = "block";
+return;
+
 
 // ------------------------------------------------------------------------
 // vérifier la validité d'une date au format JJ/MM/AAAA