El reproductor de video (¿ex-tótem?) Propone la instalación de gstreamer1.0-plugins-bad, pero después de la instalación no hay reproducción, nada. Cuando intento abrir el archivo .midi nuevamente, el reproductor de video aparece con la instalación una y otra vez. Entonces, supongo, este no es el...