Copy buttons for PARI and LEAN exports were not being removed when their containers collapsed, leaving orphaned buttons visible.

Changes

Root cause: Content and button containers were created separately but only content containers were removed on collapse.

Fix:

• Added unique IDs to button containers (loda-pari-buttons-${sequenceId}, loda-lean-buttons-${sequenceId})
• Modified togglePariExport() and toggleLeanExport() to remove both content and button containers when collapsing

if (pariContainer) {
  pariContainer.remove();
  if (pariButtonsContainer) {
    pariButtonsContainer.remove();  // Now removes buttons too
  }
  button.textContent = BUTTON_STATES.PARI_COLLAPSED;
  return;
}

Screenshots

Before fix - orphaned copy button remains after collapse:

After fix - both content and copy button removed cleanly:

• Collapsed state: https://github.com/user-attachments/assets/e01174dd-5167-4ab8-b0da-a77e7810d167
• Expanded state: https://github.com/user-attachments/assets/f3fe69b1-ed46-4eb1-a98c-d723d457cea1

• Fixes Copy button not removed when formula is collapsed #22

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.