git-svn-id: https://crawl-ref.svn.sourceforge.net/svnroot/crawl-ref/trunk@9410 c06c8d41-db1a-0410-9941-cceddc491573
A3I6APHVDJIF5VHF4KSI6H5ZMGS3I3LBQ6UAGLOZYW6VKVXQCS4AC // Very important: this destructor is called *before* the// base (Menu) class destructor...which is at it should be.
// Very important: this destructor is called *before* the base// (Menu) class destructor... which is as it should be.