linuxmint/mintmenu — pull request #76 by monsta (2014-03-27 09:44:17+00:00)
Title: System plugin: fix applying of settings immediately after changing them

Fixes https://github.com/linuxmint/mintmenu/issues/43.