improve export

ckrause · ckrause · commit 95e18e8ce583 · 2025-10-16T21:10:59.000+02:00
diff --git a/programs.html b/programs.html
@@ -364,9 +364,11 @@ <h1 class="post-title">Integer Sequences and LODA Programs</h1>
     }
 
     // --- Toggle PARI export display ---
-    async function togglePariExport(sequenceId, button, programContainer, programCode) {
+    async function togglePariExport(sequenceId, button, otherButton, programContainer, programCode) {
       const pariId = `loda-pari-${sequenceId}`;
+      const leanId = `loda-lean-${sequenceId}`;
       let pariContainer = document.getElementById(pariId);
+      let leanContainer = document.getElementById(leanId);
       
       if (pariContainer) {
         // If PARI is already shown, hide it
@@ -375,6 +377,12 @@ <h1 class="post-title">Integer Sequences and LODA Programs</h1>
         return;
       }
       
+      // Close LEAN export if it's open
+      if (leanContainer) {
+        leanContainer.remove();
+        otherButton.textContent = BUTTON_STATES.LEAN_COLLAPSED;
+      }
+      
       // Show loading state
       button.textContent = BUTTON_STATES.PARI_LOADING;
       button.disabled = true;
@@ -403,9 +411,11 @@ <h1 class="post-title">Integer Sequences and LODA Programs</h1>
     }
 
     // --- Toggle LEAN export display ---
-    async function toggleLeanExport(sequenceId, button, programContainer, programCode) {
+    async function toggleLeanExport(sequenceId, button, otherButton, programContainer, programCode) {
       const leanId = `loda-lean-${sequenceId}`;
+      const pariId = `loda-pari-${sequenceId}`;
       let leanContainer = document.getElementById(leanId);
+      let pariContainer = document.getElementById(pariId);
       
       if (leanContainer) {
         // If LEAN is already shown, hide it
@@ -414,6 +424,12 @@ <h1 class="post-title">Integer Sequences and LODA Programs</h1>
         return;
       }
       
+      // Close PARI export if it's open
+      if (pariContainer) {
+        pariContainer.remove();
+        otherButton.textContent = BUTTON_STATES.PARI_COLLAPSED;
+      }
+      
       // Show loading state
       button.textContent = BUTTON_STATES.LEAN_LOADING;
       button.disabled = true;
@@ -529,14 +545,16 @@ <h1 class="post-title">Integer Sequences and LODA Programs</h1>
           const pariButton = document.createElement('button');
           pariButton.className = CSS_CLASSES.LODA_BUTTON;
           pariButton.textContent = BUTTON_STATES.PARI_COLLAPSED;
-          pariButton.onclick = () => togglePariExport(sequenceId, pariButton, programContainer, code);
           buttonsContainer.appendChild(pariButton);
           
           const leanButton = document.createElement('button');
           leanButton.className = CSS_CLASSES.LODA_BUTTON;
           leanButton.textContent = BUTTON_STATES.LEAN_COLLAPSED;
-          leanButton.onclick = () => toggleLeanExport(sequenceId, leanButton, programContainer, code);
           buttonsContainer.appendChild(leanButton);
+          
+          // Set up onclick handlers with cross-references
+          pariButton.onclick = () => togglePariExport(sequenceId, pariButton, leanButton, programContainer, code);
+          leanButton.onclick = () => toggleLeanExport(sequenceId, leanButton, pariButton, programContainer, code);
         }
         
         programContainer.appendChild(codeContainer);
