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 _______________________________________________ Pkg-xfce-devel mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-xfce-devel
