!759

static int songDuration, seekValue;
static long songBytes;
static int position;
static File mp3;
static BasicPlayer player;
static Int seekTo;

static JFrame frame;
static new JSlider seeker;
static new JLabel text;
static new JTable table;
static new JTable lastPlayed;
static L<File> tableData, lastPlayedData;

p-awt {
  substanceLAF("Moderate");

  // Fixing the classpath for Java Sound (MP3 + OGG)
  fixContextClassLoader();
  
  thread "Searching Music..." {
    updateLastPlayed();  
    tableData = findMusicFiles();
    dataToTable_uneditable(table, musicFilesTable(tableData));
  }
  
  onDoubleClick(table, voidfunc(int row) {
    play(tableData.get(row));
  });
  
  onDoubleClick(lastPlayed, voidfunc(int row) {
    play(lastPlayedData.get(row));
  });
  
  // init seeker
  seeker.setMajorTickSpacing(10000); // 10 seconds
  seeker.setMinorTickSpacing(10000); // 10 seconds
  seeker.setPaintTicks(true);
  seeker.setMaximum(1);
  seeker.setValue(0);
  seeker.setEnabled(false);
  seeker.addChangeListener(new ChangeListener {
    public void stateChanged(ChangeEvent e) {
      bool adjusting = seeker.getValueIsAdjusting();
      if (adjusting)
        seekTo = seeker.getValue();
      else if (seekTo != null) {
        seek(seekTo);
        seekTo = null;
      }
    }
  });
  
  frame = showFrame(
    centerAndNorth(jtabs(
      "Library", table,
      "Last played", lastPlayed),
      centerAndSouth(
        centerAndEast(seeker, text),
        hgrid(jbutton("play again", "playAgain"))
      )));
  frame.pack();
  setFrameIconLater(frame, "#1003635");
  setFrameWidth(frame, 500);
  exitOnFrameClose(frame); // To immediately stop playback
  hideConsole();
  
  player = makeBasicMP3Player();
  
  player.addBasicPlayerListener(new BasicPlayerListener {
    public void opened(Object stream, Map properties) {
      for (Object key : properties.keySet())
        print("opened: " + key + "=" + properties.get(key));

      // Try to find duration of song
      final Number bytes = (Number) properties.get("audio.length.bytes");
    long microseconds = 0;
      O duration = properties.get("duration");
      
      if (duration instanceof Number)
        microseconds = ((Number) duration).longValue();
      else pcall {
        long frames = asLong(properties.get("audio.length.frames"));
        long fps = asLong(properties.get("audio.framerate.fps"));
        microseconds = frames*1000000/fps;
      }
      
      final long _microseconds = microseconds;
      
      awt {
        songDuration = (int) (_microseconds / 1000);
        seeker.setMaximum(songDuration);
        seeker.setEnabled(true);
        seeker.setMajorTickSpacing(10000); // 10 seconds
        updateText();
        songBytes = bytes.longValue();
      }
    }

    public void progress(int bytesread, final long microseconds, byte[] pcmdata, Map properties) {
      awt {
        if (!seeker.getValueIsAdjusting()) {
          int ms = (int) (microseconds / 1000) + seekValue;
          seeker.setValue(ms);
          position = ms;
          updateText();
        }
      }
    }

    public void stateUpdated(BasicPlayerEvent event) {
      awt {
        updateStateStuff();
      }
    }

    public void setController(BasicController controller) {}
  });
}

svoid play(File f) {
  if (f == null) ret;
  mp3 = f;
  setFrameTitle(frame, f.getName() + " - " + getProgramTitle());
  logStructure("player.log", litlist(now(), "Playing", f.getAbsolutePath()));
  play();
  updateLastPlayed();
}

svoid playAgain {
  logStructure("player.log", litlist(now(), "Playing again"));
  play();
}

svoid play() ctex {
  seekValue = 0;
  player.open(mp3);
  player.play();
}

svoid updateStateStuff {}

svoid updateText {
  text.setText(formatMinuteAndSeconds(position/1000) + " / " + formatMinuteAndSeconds(songDuration/1000));
}

svoid seek(int milliseconds) {
  if (mp3 == null) ret;
  long bytes = (long) (milliseconds*((double) songBytes)/songDuration);
  print("ms=" + milliseconds + ", songBytes=" + songBytes + ", duration=" + songDuration + ", bytes=" + bytes);
  
  pcall {
    seekValue = milliseconds;
    player.open(mp3);
    player.seek(bytes);
    player.play();
  }
}

static L<File> findLastPlayed() {
  new L<File> l;
  new Set<S> seen;
  for (S s : reversedList(scanLog("player.log"))) pcall {
    L line = unstructureList(s);
    if (eq(get(line, 1), "Playing")) {
      S file = getString(line, 2);
      if (seen.add(file))
        l.add(new File(file));
    }
  }
  ret l;
}

static void updateLastPlayed() {
  dataToTable_uneditable(lastPlayed, musicFilesTable(lastPlayedData = findLastPlayed()));
}

Began life as a copy of #1003617