mordant23/cinnamon-theme-orta — Issue #2: panel launchers need themed
Author: mordant23
Created: 2012-02-08 21:11:54+00:00
State: open

Panel launchers should be themed. There's no real equivalent in gnome-shell so we should use either gnome-shell's application switcher or the favorites color scheme.