I'm wondering if you could use MintMenu instead of your current desktop menu, it's more powerful, or -at least- add it to you repository.

Reply via email to