Method notes2

src/main/java/trace/sound/LoadMidi.kt:118–122

    fun read(t: Double): List<Note> {
        if (t < time) {
            time = t
            previouslyReturned.clear()
        }
        var ret = notesBetweenTimes(time, t)

        ret = ret.filter { !previouslyReturned.contains(it) }
        previouslyReturned.addAll(ret)