linuxmint/Cinnamon — pull request #2084 by Cobinja (2013-05-25 12:49:26+00:00)
Title: Reload extension-defined-stylesheets on theme change

adresses #2079

Extension-defined stylesheets are now reloaded whenever the user changes the Cinnamon theme, so that those stylesheets are not lost and the extension still looks as expected