Following on the `don't show disabled players as options' patch, it doesn't really make sense even provide a selector-widget if there's not actually any choice possible.
cf. attached patch, which conditionalises display of the "Music Player: ..." selector-widget in the preferences-GUI.
Anonymous
Makes sense really to not have that option if there is no option!