linuxmint/Cinnamon — Issue #31: [panel launchers] refresh when list changes
Author: clefebvre
Created: 2011-12-23 19:44:59+00:00
State: open

Panel launchers applet should detect changes made to the list of launchers and refresh itself.