IsPlayingMusic returns true if channel state is AL_PLAYING, so if it have to return false, then paused music must have different state, like AL_PAUSED. So PlayPauseMusic must mark main sound as paused
Because maybe there are more parts of code that would broke with this muting out of focus thing and changing IsPlayingMusic would prevent this (at least I hope so).