linuxmint/mintmenu — pull request #64 by hordepfo (2014-02-03 20:32:57+00:00)
Title: Themes

Some fixes and solved theme change without restart.