Thanks for your bugreport.
I failed to assign anything that uses super to gnome-keyshortcut-preferences on my two computers. There is a old bug open about it: #12153
But your problem might be a different one?
Thanks for your bugreport.
I failed to assign anything that uses super to gnome-keyshortc ut-preferences on my two computers. There is a old bug open about it: #12153
But your problem might be a different one?