()
| 186 | |
| 187 | // Shift a panel to the left, and redraw. |
| 188 | const shiftLeft = function() { |
| 189 | currentlySelectedPanelIndex = post.shiftLeft(currentlySelectedPanelIndex); |
| 190 | redraw(); |
| 191 | }; |
| 192 | |
| 193 | // Shift a panel to the right, and redraw. |
| 194 | const shiftRight = function() { |