Thanks Christoph for the only pointer to the same problem I've run into with debian gnome 3 + metacity: that of not being able to bind keys properly to use a multi-workspace environment (a common fixture since the early '90s).
Here's my quick-and-dirty but effective solution: #!/bin/sh for i in 1 2 3 4 5 6 7 8 9 10 11 12; do gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-$i "['<Alt>F$i']" done Regards, Felix -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
