|
|
2b38e95436
|
Spawn the player server using the given options
Pass start_link arguments to MIDISynth
Simplify event creation
|
2020-10-14 13:01:21 +02:00 |
|
|
|
808370cf7f
|
Merge branch 'master' of github.com:pizzapim/midi_player
|
2020-10-12 23:00:43 +02:00 |
|
|
|
1ece5c1c79
|
Release on Hex.
|
2020-10-12 23:00:24 +02:00 |
|
|
|
7d77ee1293
|
Create LICENSE
|
2020-10-12 20:24:08 +00:00 |
|
|
|
e677dd1808
|
Update readme with acknowledgements.
|
2020-10-12 21:07:28 +02:00 |
|
|
|
4ca35fa411
|
Create readme.
|
2020-10-12 21:00:31 +02:00 |
|
|
|
db2a5c0676
|
Test event conversion
|
2020-10-12 20:20:59 +02:00 |
|
|
|
e2a7610470
|
Change name from tools to player.
|
2020-10-12 16:17:36 +02:00 |
|
|
|
2802e5fbf7
|
Add tests for player and event.
|
2020-10-11 18:15:16 +02:00 |
|
|
|
362826eb2f
|
Add central reset function.
|
2020-10-11 16:26:37 +02:00 |
|
|
|
95a0712041
|
Move schedule generation to player.
|
2020-10-11 16:04:56 +02:00 |
|
|
|
2dac1259b2
|
Add documentation and type checking.
|
2020-10-11 13:40:12 +02:00 |
|
|
|
a8141f741e
|
Fix midi ordering.
|
2020-10-11 12:34:11 +02:00 |
|
|
|
25830345ef
|
Add change program event.
|
2020-10-11 12:27:49 +02:00 |
|
|
|
3947d6fa2a
|
Add generic event module with begin and end times.
Add module for converting events to schedule.
|
2020-10-11 11:55:01 +02:00 |
|
|
|
e12fd31c92
|
Support pausing and resuming schedule playback.
|
2020-10-10 23:03:56 +02:00 |
|
|
|
12e17d261f
|
Start over when playing when already playing.
|
2020-10-10 21:50:48 +02:00 |
|
|
|
4992bd8cdc
|
Don't allowing playing when waiting for the end after last MIDI command.
|
2020-10-10 21:36:01 +02:00 |
|
|
|
60361b02ae
|
Add option to stop player.
|
2020-10-10 20:57:11 +02:00 |
|
|
|
dcc2391094
|
Add option to repeat schedule in player.
Add end time of a schedule.
Fix negative wait times.
|
2020-10-10 20:30:28 +02:00 |
|
|
|
39f5f592a7
|
Init repository.
|
2020-10-10 19:36:07 +02:00 |
|
