Fixes for marquee tool: Prevent ghost user extent rects. Show next extent when it is full extents of viewport by shrinking it a little. Better overlay order for marquees. Reduce widths a little.
Fix for traceback shown on Travis for marquee state deserialisation.
Merge pull request #1413 from timlinux/marquee_fixes2

Marquee fixes2