when focus is called from an event, better refresh too, since it might have switched workspaces (so gap follows screen focus)
when focus is called from an event, better refresh too, since it might have switched workspaces (so gap follows screen focus)

MP2E/xmonad