Method notes

src/main/java/trace/sound/LoadMidi.kt:112–116

        return notes.filter { (it.time + it.duration) >= tStart && (it.time + it.duration) < tEnd }
    }

    var time = 0.0
    var previouslyReturned = mutableSetOf<Note>()

    fun read(t: Double): List<Note> {
        if (t < time) {
            time = t
            previouslyReturned.clear()