linuxmint/Cinnamon — pull request #967 by autarkper (2012-07-25 13:14:17+00:00)
Title: Relieve Expo and Scale of panel-hiding-and-showing duties

This moves the responsibility of hiding and showing the panel (or panels) from Scale and Expo to higher authority (Main). In passing, it fixes issue #951. It also does away with a lot of code duplication in panels.js.

Currently, there is a slight regression in smoothness when Expo is being hidden. Hopefully somebody could fix that.