-- |
-- Change to the specified workspace. If the newly-selected workspace was
-- visible, but not primary, before the change, warp the mouse pointer to it.
warpView :: WorkspaceId -> X ()
warpView tag = do
    XState { windowset = old } <- get
    style <- XS.get :: X WarpViewStyle
    case style of
      Greedy -> windows $ W.greedyView tag
      Warp -> (windows $ W.view tag) >> warpIfVisible tag old
warpView :: WorkspaceId -> X ()
warpView tag = do
    XState { windowset = old } <- get
    style <- XS.get :: X WarpViewStyle
    case style of
      Greedy -> windows $ W.greedyView tag
      Warp -> (windows $ W.view tag) >> warpIfVisible tag old
warpView tag = do
    XState { windowset = old } <- get
    style <- XS.get :: X WarpViewStyle
    case style of
      Greedy -> windows $ W.greedyView tag
      Warp -> (windows $ W.view tag) >> warpIfVisible tag old