linuxmint/mintmenu — pull request #74 by hordepfo (2014-03-18 16:14:35+00:00)
Title: Themes fixed

The same as the themes branch but on the new base. Hopefully fixes the problem with the theme change on restart.