An overview of the desktop menu system and a bunch of fixes for Ubuntu/Linux Mint game menus: http://jhansonxi.blogspot.com/2013/09/cleaning-up-ubuntu-and-linux-mint-game.html