Move pointer to opposite edge on edge flip
Make edge flip delay configurable
Fix edge flipping on outermost workspaces
Merge pull request #1537 from plaa/edgeflip

Edge flip enhancements