This has the best integration and works without visual glitches around
the menu bar, with multiple monitors.