Skip to content
Discussion options

You must be logged in to vote

You're right on both counts, and the mismatch is ours.

The file picker filters on *.wav;*.mp3. Playback goes through the operating system's own media stack, which handles considerably more than that — .ogg among them, as you found by typing * and picking one. So the picker is advertising a restriction that the player doesn't actually have.

Two ways to make it honest, and the picker is the one that should move: it will list the formats that genuinely work, rather than the documentation being narrowed to match an arbitrary filter. Anything the OS can play should be offered.

One thing worth knowing while that's pending, since you've already found the workaround: whatever format you pick, the…

Replies: 2 comments

Comment options

You must be logged in to vote
0 replies
Answer selected by wizen
Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants