change player backend from rodio to playback-rs

because rodio struggled to load some
(possibly broken, but still playable) audio files.
this is not perfect and sometimes suffers from
small lags, and it uses song_finished_polling
instead of being event-driven.
This commit is contained in:
Mark
2024-07-14 18:01:01 +02:00
parent 3a0d28b9b4
commit aa657382fa
8 changed files with 189 additions and 8 deletions

View File

@@ -0,0 +1,2 @@
[toolchain]
channel = "nightly"