[enhancement request] PLAYSOUND
The playsound command sortof works in the Android version of X11-Basic. However on linux a workaround (shell command ogg123) is used and on WINDOWS it doesnt work at all.
We could probably find a single source-file ogg-decoder and make it work at least for this sound file format.
Deleting a branch is permanent. It CANNOT be undone. Continue?