linuxmint/Cinnamon — pull request #932 by autarkper (2012-07-18 16:58:11+00:00)
Title: Don't reload panel-launchers from within a settings-changed handler (solves #894)

It turned out that is was the panel-launchers app that reloaded on all settings updates. This patch moderates this behavior by delaying the reload and coalescing many quickly repeating settings-related reloads into one.