Tony Morris wrote: > I have recently been pointed to ManageDocks, so I expect this is what > everyone else is doing :) I'll check it out. ManageDocks is definately the right direction. You almost certainly also want to use Ewmhdesktops; It makes xmonad play much more nicely with gnome panel.