General tidying of frame managers

This doesn't fix any of the bugs in WindowMenuFrameManager, but doesn't seem to make anything any worse.