OK, nathan's suggestion was fairly easy. But could somebody PLEASE PLEASE write something (A dialog, under removable drives and media where it used to be, preferably) that lets ordinary users change the default media player without having to manually edit mime types and .desktop files FFS.
-- [hardy] media tab in file management preferences missing applications https://bugs.launchpad.net/bugs/191475 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs