4 ms·
On the MIDI file export, you could probably use https://github.com/grimmdude/MidiWriterJS https://github.com/grimmdude/MidiWriterJS for that
by grimmdude 10y ago
On the MIDI file export, you could probably use https://github.com/grimmdude/MidiWriterJS https://github.com/grimmdude/MidiWriterJS for that