linuxmint/Cinnamon — pull request #1159 by Cobinja (2012-09-19 19:48:48+00:00)
Title: fix panels not being covered by fullscreen windows in certain situations

This adresses #733.

Changed the way layout.js checks for fullscreen (and override_redirect) windows. Panels are now covered by all fullscreen windows.