(barId, padding = true)
| 17 | } |
| 18 | |
| 19 | function progressBar(barId, padding = true) { |
| 20 | const existingBar = document.getElementById(barId); |
| 21 | if (existingBar) return existingBar; |
| 22 | |
| 23 | const progress_bar_container = progressBarContainer(); |
| 24 | if (!progress_bar_container) return; |
| 25 | |
| 26 | const progress_bar = document.createElement("div"); |
| 27 | progress_bar.id = barId; |
| 28 | progress_bar_container.appendChild(progress_bar); |
| 29 | |
| 30 | const padId = 'MemDump_progress-padding-' + barId.split('-').at(-1); |
| 31 | const existingPad = document.getElementById(padId); |
| 32 | if (!padding || existingPad) return progress_bar; |
| 33 | |
| 34 | const padding_bar = document.createElement("div"); |
| 35 | padding_bar.id = padId; |
| 36 | try { |
| 37 | document.querySelector("#page-head").prepend(padding_bar); |
| 38 | } catch (err) {} |
| 39 | |
| 40 | return progress_bar; |
| 41 | } |
| 42 | |
| 43 | function batchProgressBar(batch_size) { |
| 44 | if (batch_size < 2) return; |
no test coverage detected