linuxmint/Cinnamon — pull request #2193 by autarkper (2013-06-21 17:48:38+00:00)
Title: make sure auto-hide works when a panel is disabled and enabled ...

...(on entering and exiting Scale or Expo)

This addresses #2188.