@mc-return:
It's my work machine, so I'm not too ethused about pulling dev channels (sorry, upgrading to 12.10 was questionable already). I might try at some point on another computer, but I mainly need efficient hotkeys here so that's low priority.
Current workaround:
gsettings set org.gnome.desktop.wm.keybindings close "['<Control>q']"
in a user session startup script, with sleep 2.
Not elegant but worksforme... it'd be nicer if the fix gets into release at some point, but I'm not going to care until 13.04, so I'm done here. Thanks for your time.
@mc-return:
It's my work machine, so I'm not too ethused about pulling dev channels (sorry, upgrading to 12.10 was questionable already). I might try at some point on another computer, but I mainly need efficient hotkeys here so that's low priority.
Current workaround: desktop. wm.keybindings close "['<Control>q']"
gsettings set org.gnome.
in a user session startup script, with sleep 2.
Not elegant but worksforme... it'd be nicer if the fix gets into release at some point, but I'm not going to care until 13.04, so I'm done here. Thanks for your time.