Hmm, that was weird: similarly to comment #4, I just noticed a Firefox window lose all its decorations, so to hide it I had to use its icon in the dock. But when I unhid it, the decorations were back. So: weird. I just thought I'd mention it.
Hmm, that was weird: similarly to comment #4, I just noticed a Firefox window lose all its decorations, so to hide it I had to use its icon in the dock. But when I unhid it, the decorations were back. So: weird. I just thought I'd mention it.