@Daniel: I agree. Over the past few days, I've noticed that gnome-do can successfully use super+space as a key binding, but that whenever I restart it, it loses the binding and I have to reassign it. Sorry for the noise.
@Daniel: I agree. Over the past few days, I've noticed that gnome-do can successfully use super+space as a key binding, but that whenever I restart it, it loses the binding and I have to reassign it. Sorry for the noise.