()
| 192 | |
| 193 | // Shift a panel to the right, and redraw. |
| 194 | const shiftRight = function() { |
| 195 | currentlySelectedPanelIndex = post.shiftRight(currentlySelectedPanelIndex); |
| 196 | redraw(); |
| 197 | }; |
| 198 | |
| 199 | // Set the current panel based off parameter number, within the correct range (0 < # of panels - 1) |
| 200 | const changeEditingPanel = function(panelNumber) { |
nothing calls this directly
no test coverage detected