"Pause music on focus loss" means "pause music when user switches to another application". Makes sense on desktop, and, for me, even more on a tablet.
[...]
I think at wake up time it is nice to have music continuing where it stopped at sleep time. I think this is your point, so I agree.
Maybe it would be better if (adding up to that) on iOS at sleep time it paused the music with a progressive fade out. I suppose some degree of fade in might apply to wake up time as well. I am just used to other app games doing that this way.
Branches from 'https://github.com/singalen/wesnoth/issues/6', @singalen tells:
I think at wake up time it is nice to have music continuing where it stopped at sleep time. I think this is your point, so I agree.
Maybe it would be better if (adding up to that) on iOS at sleep time it paused the music with a progressive fade out. I suppose some degree of fade in might apply to wake up time as well. I am just used to other app games doing that this way.
Very little relevant IMO.
Cheers and regards,