| 80 | } |
| 81 | |
| 82 | function removeButtons() { |
| 83 | const downloadPngButton = document.getElementById("download-png-button"); |
| 84 | const downloadPdfButton = document.getElementById("download-pdf-button"); |
| 85 | const downloadMdButton = document.getElementById("download-markdown-button"); |
| 86 | const refreshButton = document.getElementById("refresh-page-button"); |
| 87 | if (downloadPngButton) { |
| 88 | downloadPngButton.remove(); |
| 89 | } |
| 90 | if (downloadPdfButton) { |
| 91 | downloadPdfButton.remove(); |
| 92 | } |
| 93 | if (downloadPdfButton) { |
| 94 | downloadMdButton.remove(); |
| 95 | } |
| 96 | if (refreshButton) { |
| 97 | refreshButton.remove(); |
| 98 | } |
| 99 | } |
| 100 | |
| 101 | function addActionsButtons(actionsArea, TryAgainButton) { |
| 102 | // Export markdown |