(days)
| 5794 | } |
| 5795 | |
| 5796 | function shiftDate(days) { |
| 5797 | const input = $("paperDate"); |
| 5798 | const date = input.valueAsDate || new Date(); |
| 5799 | date.setDate(date.getDate() + days); |
| 5800 | input.valueAsDate = date; |
| 5801 | syncDateControls(); |
| 5802 | } |
| 5803 | |
| 5804 | function toggleAllSources(checked) { |
| 5805 | document.querySelectorAll(".choice-list input[type='checkbox']").forEach((input) => { |
no test coverage detected