+ } else if (!global_audio_mixer->get_active(spec_and_info.first)) {
+ // Should nominally be skipped, but if we used it before it went away,
+ // we'll need to allow the user to still see it.
+ if (uses_device(mapping, spec_and_info.first) ||
+ uses_device(old_mapping, spec_and_info.first)) {
+ label += " (dead)";
+ } else {
+ continue;
+ }