I Am very sorry but I can not receive HTML5 approach. Because it has some disadvantages. Uses webview Android component. Only to play .ogg live stream? I love fast menus created by using select command. I have looked at Basic source code. And I have found out, that audio.play command uses Android media component. The same component, which Android Java developers are being used to play live audio streams.
So I have analysed various WEB pages. I have found perfect and useful article from Google experts about media player Android core component. https://developer.android.com/guide/top ... layer.html
Here is their little part of code to open live stream.
Playing from a remote URL via HTTP streaming looks like this:
String url = "http://........"; // your URL here
MediaPlayer mediaPlayer = new MediaPlayer();
mediaPlayer.prepare(); // might take long! (for buffering, etc)
I Am ready to test new Basic, if Audio.load would support to open live stream. So Audio.play command will allow to play live stream.
HTML5 players are constructed so one of its part must be on server. And client part can reside on The device. I want to have play and other features on my own control. I do not want to depend on external service. If you are sure, that incorporating live sreams is so extremely complex, I hope, that somebody will have The tip how to modify HTML5 opensource player so it would be The part of compiled Rfo-basic program.
I think it well, because Android media component support several video formats. It is no need to write thousants of Java lines to support this feature.
Please keep in mind, that multimedia support is more and more important. i do not want this feature only for myself. Sure, I do not want bother you. Sure, I have several Internet radio players at home, it is based on Java or C++ code by using Mosync Video example. But why do not implement this feature for Rfo-Basic? I Am sure, that it is not inpossible.
Sure, we do not want to guarantee, that every file type, which will be opened to end user will be supported by his version of Android.
In this case, yes, advanced user of Basic can use HTML5 player. But User, who will want to develop apps not for Talkback and other screen readers users.