In case anybody is impacted by the same bug, I use the following startup script as a workaround (launched by xfce):
#!/bin/sh pkill xfsettingsd # make sure xfsettingsd has released its passive grab on <Super>e sleep 1 # restart xmonad and sleep long enough for it to acquire the grab xmonad --restart & sleep 1 # restore xfce settings xfsettingsd & # sleep long enough for xfsettingsd to mess up with xrandr settings sleep 2 # fix xrandr to my taste xrandr --output LVDS1 --primary --mode 1280x800 --output VGA1 --mode 1920x1200 --rotate normal --right-of LVDS1 Best, -- Gabriel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
