ref: 8f8333a3516bbbd266d66e72f646741fc258ff02
parent: 79874f18e41cbbe796c0252dc96a85e150af1a15
author: Simon Tatham <anakin@pobox.com>
date: Sun Jan 4 13:03:36 EST 2015
Fix puzzle window resize behaviour on Unity. Unity hijacks the menu bar and prevents it from appearing in the main puzzle window. And we wait for the menu bar to appear before reducing the puzzle drawing area's size request. These two behaviours go together badly. Fixed by detecting the extra GTK property that the Unity patches invented, and using that to know whether to expect the menu bar to show up at all.