Black title bar when Cinnamon restarts

[Salvatos]

A few people seem to be having this issue, apparently all on Ubuntu 12.04 so far:
http://forums.linuxmint.com/viewtopic.php?f=208&t=100690
http://ubuntuforums.org/showthread.php?t=1972257

To reiterate, the title bar goes black with only the maximize et al. buttons still showing, and the top borders become "messy" (screenshots attached in the threads above). Switching GTK+ themes in the Cinnamon Theme manager seems to reload the bars and fix the issue, so that's probably a good hint as to where the problem comes from.

[AlbertJP]

@Salvatos Yesterday somebody also had this problem on Mint 13 RC, so I've reported it to the Cinnamon developers. It'll probably be fixed soon.

In fact it is a bug in Muffin: linuxmint/muffin#14

We inherited it from Gnome Shell, which also has (or had) this problem with Ubuntu 12.04.

[AlbertJP]

As it is a bug in Muffin and not in the Cinnamon code, I think this one should be closed and you should post your findings at the muffin issue I mentioned

[clefebvre]

It was fixed in muffin.