message: Make pause and resume button switchable
diff: @@ -121,13 +121,17 @@ function initializeAfterConnectionFailed() {
  }
  function pause() {
  - if (isPlaying) isPause = true;
  + if (isPlaying) {
  + isPause = true;
  + switchPR();
  + }
  }
  function resume() {
  if (isPause) {
  isPlaying = true;
  isPause = false;
  + switchPR();
  executionLoop()
  .then(finalizePlayingProgress)
  .catch(catchPlayingError);
  @@ -762,6 +766,16 @@ document.addEventListener("dblclick", function(event) {
  }
  });
  +function switchPR() {
  + if (isPause) {
  + document.getElementById("pause").style.display = "none";
  + document.getElementById("resume").style.display = "";
  + } else {
  + document.getElementById("pause").style.display = "";
  + document.getElementById("resume").style.display = "none";
  + }
  +}
  +
  browser.runtime.onMessage.addListener(initialOpen);
  function initialOpen(message) {
  