[xmonad] darcs patch: gnome3Config added