Edited:
Right, so with a little noodling, you can actually reset the shortcut with dconf editor. Sorry for wasting this post, I’m pretty sure the commands below would’ve gotten the job done but I just wanted to be sure that I didn’t break something.
In Ubuntu Vanilla, there’s a button you can press to reset the keyboard shortcuts to default. Unfortunately, there’s no such button in Ubuntu Mate.
a) So I looked around on the Ubuntu forums and found this command
gsettings reset-recursively org.gnome.settings-daemon.plugins.media-keys
from here
b) and then there’s this command
gsettings reset org.mate.SettingsDaemon.plugins.media-keys media
from thus
Context - I want to change the Launch Media Player shortcut to default.
So, can someone confirm that they’ll work?